Skip to content

Actions: dafny-lang/dafny

Actions

Build and Test Dafny Standard Libraries

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
standard-libraries.yml
4,004 workflow runs
4,004 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 and Test Dafny Standard Libraries #3960: Pull request #5931 synchronize by keyboardDrummer
December 4, 2024 12:21 12m 21s keyboardDrummer:iOriginStart
keyboardDrummer:iOriginStart
December 4, 2024 12:21 12m 21s
Do IOrigin wrapping around RangeToken, instead of inside its StartToken Build and Test Dafny Standard Libraries #3959: Pull request #5931 synchronize by keyboardDrummer
December 4, 2024 10:45 17m 15s keyboardDrummer:iOriginStart
keyboardDrummer:iOriginStart
December 4, 2024 10:45 17m 15s
Do IOrigin wrapping around RangeToken, instead of inside its StartToken Build and Test Dafny Standard Libraries #3958: Pull request #5931 synchronize by keyboardDrummer
December 4, 2024 10:04 8m 11s keyboardDrummer:iOriginStart
keyboardDrummer:iOriginStart
December 4, 2024 10:04 8m 11s
Do IOrigin wrapping around RangeToken, instead of inside its StartToken Build and Test Dafny Standard Libraries #3957: Pull request #5931 synchronize by keyboardDrummer
December 4, 2024 09:52 14m 14s keyboardDrummer:iOriginStart
keyboardDrummer:iOriginStart
December 4, 2024 09:52 14m 14s
[Dafny-to-Rust] Avoir using MaybePlacebo when assignments are straightforward Build and Test Dafny Standard Libraries #3956: Pull request #5959 synchronize by MikaelMayer
December 4, 2024 01:19 17m 6s feat-no-maybeplacebo
feat-no-maybeplacebo
December 4, 2024 01:19 17m 6s
Docstring + sources for generated Rust code Build and Test Dafny Standard Libraries #3955: Pull request #5945 synchronize by MikaelMayer
December 4, 2024 01:11 22m 8s feat-docstring-rust
feat-docstring-rust
December 4, 2024 01:11 22m 8s
[Dafny-to-Rust] Avoir using MaybePlacebo when assignments are straightforward Build and Test Dafny Standard Libraries #3954: Pull request #5959 opened by MikaelMayer
December 4, 2024 00:50 29m 34s feat-no-maybeplacebo
feat-no-maybeplacebo
December 4, 2024 00:50 29m 34s
Use Token instead of IToken in lexical token locations Build and Test Dafny Standard Libraries #3953: Pull request #5957 synchronize by keyboardDrummer
December 3, 2024 22:02 27m 59s keyboardDrummer:lexicalTokenType
keyboardDrummer:lexicalTokenType
December 3, 2024 22:02 27m 59s
Docstring + sources for generated Rust code Build and Test Dafny Standard Libraries #3952: Pull request #5945 synchronize by MikaelMayer
December 3, 2024 20:48 18m 26s feat-docstring-rust
feat-docstring-rust
December 3, 2024 20:48 18m 26s
Docstring + sources for generated Rust code Build and Test Dafny Standard Libraries #3951: Pull request #5945 synchronize by fabiomadge
December 3, 2024 18:27 17m 21s feat-docstring-rust
feat-docstring-rust
December 3, 2024 18:27 17m 21s
Use Token instead of IToken in lexical token locations Build and Test Dafny Standard Libraries #3950: Pull request #5957 synchronize by keyboardDrummer
December 3, 2024 18:00 32m 55s keyboardDrummer:lexicalTokenType
keyboardDrummer:lexicalTokenType
December 3, 2024 18:00 32m 55s
Use Token instead of IToken in lexical token locations Build and Test Dafny Standard Libraries #3949: Pull request #5957 synchronize by keyboardDrummer
December 3, 2024 17:49 11m 18s keyboardDrummer:lexicalTokenType
keyboardDrummer:lexicalTokenType
December 3, 2024 17:49 11m 18s
Use Token instead of IToken in lexical token locations Build and Test Dafny Standard Libraries #3948: Pull request #5957 synchronize by keyboardDrummer
December 3, 2024 17:48 21m 33s keyboardDrummer:lexicalTokenType
keyboardDrummer:lexicalTokenType
December 3, 2024 17:48 21m 33s
Do IOrigin wrapping around RangeToken, instead of inside its StartToken Build and Test Dafny Standard Libraries #3947: Pull request #5931 synchronize by keyboardDrummer
December 3, 2024 15:18 52m 23s keyboardDrummer:iOriginStart
keyboardDrummer:iOriginStart
December 3, 2024 15:18 52m 23s
Use Token instead of IToken in lexical token locations Build and Test Dafny Standard Libraries #3946: Pull request #5957 synchronize by keyboardDrummer
December 3, 2024 14:47 1h 17m 51s keyboardDrummer:lexicalTokenType
keyboardDrummer:lexicalTokenType
December 3, 2024 14:47 1h 17m 51s
Rename some things that are not lexical tokens, from Token to Origin Build and Test Dafny Standard Libraries #3945: Pull request #5956 synchronize by keyboardDrummer
December 3, 2024 14:28 33m 28s keyboardDrummer:prepareRename
keyboardDrummer:prepareRename
December 3, 2024 14:28 33m 28s
Use Token instead of IToken in lexical token locations Build and Test Dafny Standard Libraries #3944: Pull request #5957 synchronize by keyboardDrummer
December 3, 2024 14:27 19m 55s keyboardDrummer:lexicalTokenType
keyboardDrummer:lexicalTokenType
December 3, 2024 14:27 19m 55s
Use Token instead of IToken in lexical token locations Build and Test Dafny Standard Libraries #3943: Pull request #5957 opened by keyboardDrummer
December 3, 2024 14:24 21m 59s keyboardDrummer:lexicalTokenType
keyboardDrummer:lexicalTokenType
December 3, 2024 14:24 21m 59s
fix: Release lock before raising exception for improved recovery Build and Test Dafny Standard Libraries #3942: Pull request #5941 synchronize by fabiomadge
December 3, 2024 14:14 19m 55s fabiomadge:lenient_mutablemap_python
fabiomadge:lenient_mutablemap_python
December 3, 2024 14:14 19m 55s
Rename some things that are not lexical tokens, from Token to Origin Build and Test Dafny Standard Libraries #3941: Pull request #5956 synchronize by keyboardDrummer
December 3, 2024 13:59 26m 31s keyboardDrummer:prepareRename
keyboardDrummer:prepareRename
December 3, 2024 13:59 26m 31s
Rename some things that are not lexical tokens, from Token to Origin Build and Test Dafny Standard Libraries #3940: Pull request #5956 opened by keyboardDrummer
December 3, 2024 13:41 26m 26s keyboardDrummer:prepareRename
keyboardDrummer:prepareRename
December 3, 2024 13:41 26m 26s
Do IOrigin wrapping around RangeToken, instead of inside its StartToken Build and Test Dafny Standard Libraries #3939: Pull request #5931 synchronize by keyboardDrummer
December 3, 2024 13:30 3m 16s keyboardDrummer:iOriginStart
keyboardDrummer:iOriginStart
December 3, 2024 13:30 3m 16s
Do IOrigin wrapping around RangeToken, instead of inside its StartToken Build and Test Dafny Standard Libraries #3938: Pull request #5931 synchronize by keyboardDrummer
December 3, 2024 13:26 2m 17s keyboardDrummer:iOriginStart
keyboardDrummer:iOriginStart
December 3, 2024 13:26 2m 17s
docs: fix grammar in "Getting Started" guide: remove an occurrence of the word «that» Build and Test Dafny Standard Libraries #3937: Pull request #5955 opened by das-g
December 3, 2024 12:03 23m 36s das-g:remove-that
das-g:remove-that
December 3, 2024 12:03 23m 36s
Go lang call same module member Build and Test Dafny Standard Libraries #3936: Pull request #5954 opened by keyboardDrummer
December 3, 2024 11:02 19m 1s keyboardDrummer:goLangCallSameModuleMember
keyboardDrummer:goLangCallSameModuleMember
December 3, 2024 11:02 19m 1s