Skip to content

Actions: dafny-lang/dafny

Actions

Build DafnyRef.pdf

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
refman.yml
4,749 workflow runs
4,749 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Do IOrigin wrapping around RangeToken, instead of inside its StartToken Build DafnyRef.pdf #18924: Pull request #5931 synchronize by keyboardDrummer
December 4, 2024 12:21 2m 40s keyboardDrummer:iOriginStart
keyboardDrummer:iOriginStart
December 4, 2024 12:21 2m 40s
Do IOrigin wrapping around RangeToken, instead of inside its StartToken Build DafnyRef.pdf #18923: Pull request #5931 synchronize by keyboardDrummer
December 4, 2024 10:45 3m 15s keyboardDrummer:iOriginStart
keyboardDrummer:iOriginStart
December 4, 2024 10:45 3m 15s
Do IOrigin wrapping around RangeToken, instead of inside its StartToken Build DafnyRef.pdf #18922: Pull request #5931 synchronize by keyboardDrummer
December 4, 2024 10:04 1m 50s keyboardDrummer:iOriginStart
keyboardDrummer:iOriginStart
December 4, 2024 10:04 1m 50s
Do IOrigin wrapping around RangeToken, instead of inside its StartToken Build DafnyRef.pdf #18921: Pull request #5931 synchronize by keyboardDrummer
December 4, 2024 09:52 2m 39s keyboardDrummer:iOriginStart
keyboardDrummer:iOriginStart
December 4, 2024 09:52 2m 39s
[Dafny-to-Rust] Avoir using MaybePlacebo when assignments are straightforward Build DafnyRef.pdf #18920: Pull request #5959 synchronize by MikaelMayer
December 4, 2024 01:19 2m 46s feat-no-maybeplacebo
feat-no-maybeplacebo
December 4, 2024 01:19 2m 46s
Docstring + sources for generated Rust code Build DafnyRef.pdf #18919: Pull request #5945 synchronize by MikaelMayer
December 4, 2024 01:11 2m 49s feat-docstring-rust
feat-docstring-rust
December 4, 2024 01:11 2m 49s
[Dafny-to-Rust] Avoir using MaybePlacebo when assignments are straightforward Build DafnyRef.pdf #18918: Pull request #5959 opened by MikaelMayer
December 4, 2024 00:50 2m 47s feat-no-maybeplacebo
feat-no-maybeplacebo
December 4, 2024 00:50 2m 47s
Use Token instead of IToken in lexical token locations Build DafnyRef.pdf #18917: Pull request #5957 synchronize by keyboardDrummer
December 3, 2024 22:02 2m 57s keyboardDrummer:lexicalTokenType
keyboardDrummer:lexicalTokenType
December 3, 2024 22:02 2m 57s
Docstring + sources for generated Rust code Build DafnyRef.pdf #18916: Pull request #5945 synchronize by MikaelMayer
December 3, 2024 20:48 2m 31s feat-docstring-rust
feat-docstring-rust
December 3, 2024 20:48 2m 31s
Docstring + sources for generated Rust code Build DafnyRef.pdf #18915: Pull request #5945 synchronize by fabiomadge
December 3, 2024 18:27 2m 49s feat-docstring-rust
feat-docstring-rust
December 3, 2024 18:27 2m 49s
Use Token instead of IToken in lexical token locations Build DafnyRef.pdf #18914: Pull request #5957 synchronize by keyboardDrummer
December 3, 2024 18:00 2m 52s keyboardDrummer:lexicalTokenType
keyboardDrummer:lexicalTokenType
December 3, 2024 18:00 2m 52s
Use Token instead of IToken in lexical token locations Build DafnyRef.pdf #18913: Pull request #5957 synchronize by keyboardDrummer
December 3, 2024 17:49 5m 5s keyboardDrummer:lexicalTokenType
keyboardDrummer:lexicalTokenType
December 3, 2024 17:49 5m 5s
Use Token instead of IToken in lexical token locations Build DafnyRef.pdf #18912: Pull request #5957 synchronize by keyboardDrummer
December 3, 2024 17:48 2m 56s keyboardDrummer:lexicalTokenType
keyboardDrummer:lexicalTokenType
December 3, 2024 17:48 2m 56s
Do IOrigin wrapping around RangeToken, instead of inside its StartToken Build DafnyRef.pdf #18911: Pull request #5931 synchronize by keyboardDrummer
December 3, 2024 15:18 11m 6s keyboardDrummer:iOriginStart
keyboardDrummer:iOriginStart
December 3, 2024 15:18 11m 6s
Use Token instead of IToken in lexical token locations Build DafnyRef.pdf #18910: Pull request #5957 synchronize by keyboardDrummer
December 3, 2024 14:47 35m 59s keyboardDrummer:lexicalTokenType
keyboardDrummer:lexicalTokenType
December 3, 2024 14:47 35m 59s
Rename some things that are not lexical tokens, from Token to Origin Build DafnyRef.pdf #18909: Pull request #5956 synchronize by keyboardDrummer
December 3, 2024 14:28 13m 22s keyboardDrummer:prepareRename
keyboardDrummer:prepareRename
December 3, 2024 14:28 13m 22s
Use Token instead of IToken in lexical token locations Build DafnyRef.pdf #18908: Pull request #5957 synchronize by keyboardDrummer
December 3, 2024 14:27 14m 31s keyboardDrummer:lexicalTokenType
keyboardDrummer:lexicalTokenType
December 3, 2024 14:27 14m 31s
Use Token instead of IToken in lexical token locations Build DafnyRef.pdf #18907: Pull request #5957 opened by keyboardDrummer
December 3, 2024 14:24 7m 39s keyboardDrummer:lexicalTokenType
keyboardDrummer:lexicalTokenType
December 3, 2024 14:24 7m 39s
fix: Release lock before raising exception for improved recovery Build DafnyRef.pdf #18906: Pull request #5941 synchronize by fabiomadge
December 3, 2024 14:14 2m 55s fabiomadge:lenient_mutablemap_python
fabiomadge:lenient_mutablemap_python
December 3, 2024 14:14 2m 55s
Rename some things that are not lexical tokens, from Token to Origin Build DafnyRef.pdf #18905: Pull request #5956 synchronize by keyboardDrummer
December 3, 2024 13:59 2m 43s keyboardDrummer:prepareRename
keyboardDrummer:prepareRename
December 3, 2024 13:59 2m 43s
Rename some things that are not lexical tokens, from Token to Origin Build DafnyRef.pdf #18904: Pull request #5956 opened by keyboardDrummer
December 3, 2024 13:41 3m 1s keyboardDrummer:prepareRename
keyboardDrummer:prepareRename
December 3, 2024 13:41 3m 1s
Do IOrigin wrapping around RangeToken, instead of inside its StartToken Build DafnyRef.pdf #18903: Pull request #5931 synchronize by keyboardDrummer
December 3, 2024 13:30 2m 59s keyboardDrummer:iOriginStart
keyboardDrummer:iOriginStart
December 3, 2024 13:30 2m 59s
Do IOrigin wrapping around RangeToken, instead of inside its StartToken Build DafnyRef.pdf #18902: Pull request #5931 synchronize by keyboardDrummer
December 3, 2024 13:26 1m 28s keyboardDrummer:iOriginStart
keyboardDrummer:iOriginStart
December 3, 2024 13:26 1m 28s
docs: fix grammar in "Getting Started" guide: remove an occurrence of the word «that» Build DafnyRef.pdf #18901: Pull request #5955 opened by das-g
December 3, 2024 12:03 2m 52s das-g:remove-that
das-g:remove-that
December 3, 2024 12:03 2m 52s
Go lang call same module member Build DafnyRef.pdf #18900: Pull request #5954 opened by keyboardDrummer
December 3, 2024 11:02 2m 43s keyboardDrummer:goLangCallSameModuleMember
keyboardDrummer:goLangCallSameModuleMember
December 3, 2024 11:02 2m 43s