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

Stop unnecessarily verifying symbols multiple times when using refinement Build and Test Dafny Standard Libraries #3985: Pull request #5967 synchronize by keyboardDrummer
December 5, 2024 16:49 20m 47s keyboardDrummer:refinedSymbolVerification
keyboardDrummer:refinedSymbolVerification
December 5, 2024 16:49 20m 47s
Feat simplified rust identifiers Build and Test Dafny Standard Libraries #3984: Pull request #5845 synchronize by MikaelMayer
December 5, 2024 15:21 48m 52s feat-simplified-rust-identifiers
feat-simplified-rust-identifiers
December 5, 2024 15:21 48m 52s
Do IOrigin wrapping around RangeToken, instead of inside its StartToken Build and Test Dafny Standard Libraries #3983: Pull request #5931 synchronize by keyboardDrummer
December 5, 2024 14:28 15m 37s keyboardDrummer:iOriginStart
keyboardDrummer:iOriginStart
December 5, 2024 14:28 15m 37s
Do IOrigin wrapping around RangeToken, instead of inside its StartToken Build and Test Dafny Standard Libraries #3982: Pull request #5931 synchronize by keyboardDrummer
December 5, 2024 13:49 13m 42s keyboardDrummer:iOriginStart
keyboardDrummer:iOriginStart
December 5, 2024 13:49 13m 42s
Stop unnecessarily verifying symbols multiple times when using refinement Build and Test Dafny Standard Libraries #3981: Pull request #5967 synchronize by keyboardDrummer
December 5, 2024 13:47 25m 31s keyboardDrummer:refinedSymbolVerification
keyboardDrummer:refinedSymbolVerification
December 5, 2024 13:47 25m 31s
Stop unnecessarily verifying symbols multiple times when using refinement Build and Test Dafny Standard Libraries #3980: Pull request #5967 synchronize by keyboardDrummer
December 5, 2024 13:37 18m 27s keyboardDrummer:refinedSymbolVerification
keyboardDrummer:refinedSymbolVerification
December 5, 2024 13:37 18m 27s
Stop unnecessarily verifying symbols multiple times when using refinement Build and Test Dafny Standard Libraries #3979: Pull request #5967 synchronize by keyboardDrummer
December 5, 2024 12:23 17m 2s keyboardDrummer:refinedSymbolVerification
keyboardDrummer:refinedSymbolVerification
December 5, 2024 12:23 17m 2s
Stop unnecessarily verifying symbols multiple times when using refinement Build and Test Dafny Standard Libraries #3978: Pull request #5967 opened by keyboardDrummer
December 5, 2024 11:49 17m 29s keyboardDrummer:refinedSymbolVerification
keyboardDrummer:refinedSymbolVerification
December 5, 2024 11:49 17m 29s
fix: Regenerate system module in DafnyRuntimeGo-gomod, add missing CI check Build and Test Dafny Standard Libraries #3977: Pull request #5965 synchronize by robin-aws
December 5, 2024 05:59 15m 24s robin-aws:fix-ci-on-gomod-runtime-and-update
robin-aws:fix-ci-on-gomod-runtime-and-update
December 5, 2024 05:59 15m 24s
Feat simplified rust identifiers Build and Test Dafny Standard Libraries #3976: Pull request #5845 synchronize by MikaelMayer
December 5, 2024 00:49 28m 34s feat-simplified-rust-identifiers
feat-simplified-rust-identifiers
December 5, 2024 00:49 28m 34s
Feat: Rust supports overriding traits Build and Test Dafny Standard Libraries #3975: Pull request #5948 synchronize by MikaelMayer
December 5, 2024 00:42 24m 40s feat-rust-support-overriding-trait
feat-rust-support-overriding-trait
December 5, 2024 00:42 24m 40s
Fix static analysis and code actions Build and Test Dafny Standard Libraries #3974: Pull request #5966 opened by MikaelMayer
December 5, 2024 00:06 18m 0s fix-static-analysis-code-actions
fix-static-analysis-code-actions
December 5, 2024 00:06 18m 0s
fix: Regenerate system module in DafnyRuntimeGo-gomod, add missing CI check Build and Test Dafny Standard Libraries #3973: Pull request #5965 opened by robin-aws
December 4, 2024 23:24 16m 51s robin-aws:fix-ci-on-gomod-runtime-and-update
robin-aws:fix-ci-on-gomod-runtime-and-update
December 4, 2024 23:24 16m 51s
Define models for set and multiset Build and Test Dafny Standard Libraries #3972: Pull request #5963 synchronize by RustanLeino
December 4, 2024 22:40 1m 15s RustanLeino:set-model
RustanLeino:set-model
December 4, 2024 22:40 1m 15s
Define models for set and multiset Build and Test Dafny Standard Libraries #3971: Pull request #5963 opened by RustanLeino
December 4, 2024 20:05 23m 33s RustanLeino:set-model
RustanLeino:set-model
December 4, 2024 20:05 23m 33s
Docstring + sources for generated Rust code Build and Test Dafny Standard Libraries #3970: Pull request #5945 synchronize by MikaelMayer
December 4, 2024 17:12 31m 15s feat-docstring-rust
feat-docstring-rust
December 4, 2024 17:12 31m 15s
Docstring + sources for generated Rust code Build and Test Dafny Standard Libraries #3969: Pull request #5945 synchronize by MikaelMayer
December 4, 2024 17:00 23m 29s feat-docstring-rust
feat-docstring-rust
December 4, 2024 17:00 23m 29s
Docstring + sources for generated Rust code Build and Test Dafny Standard Libraries #3968: Pull request #5945 synchronize by MikaelMayer
December 4, 2024 16:41 18m 34s feat-docstring-rust
feat-docstring-rust
December 4, 2024 16:41 18m 34s
remove consequence of allocatedness Build and Test Dafny Standard Libraries #3967: Pull request #5961 opened by typerSniper
December 4, 2024 16:17 12m 17s typerSniper:function-def
typerSniper:function-def
December 4, 2024 16:17 12m 17s
docs: fix grammar in "Getting Started" guide: remove an occurrence of the word «that» Build and Test Dafny Standard Libraries #3966: Pull request #5955 synchronize by keyboardDrummer
December 4, 2024 15:51 32m 37s das-g:remove-that
das-g:remove-that
December 4, 2024 15:51 32m 37s
Docstring + sources for generated Rust code Build and Test Dafny Standard Libraries #3965: Pull request #5945 synchronize by MikaelMayer
December 4, 2024 15:38 55m 22s feat-docstring-rust
feat-docstring-rust
December 4, 2024 15:38 55m 22s
Docstring + sources for generated Rust code Build and Test Dafny Standard Libraries #3964: Pull request #5945 synchronize by MikaelMayer
December 4, 2024 15:25 13m 19s feat-docstring-rust
feat-docstring-rust
December 4, 2024 15:25 13m 19s
Docstring + sources for generated Rust code Build and Test Dafny Standard Libraries #3963: Pull request #5945 synchronize by fabiomadge
December 4, 2024 15:17 51m 6s feat-docstring-rust
feat-docstring-rust
December 4, 2024 15:17 51m 6s
Remove fragile logic for mapping verification tasks to Dafny symbols Build and Test Dafny Standard Libraries #3962: Pull request #5960 opened by keyboardDrummer
December 4, 2024 14:57 1h 4m 1s keyboardDrummer:doNotUseFilePositionsForMappingTasksToDafnyNodes
keyboardDrummer:doNotUseFilePositionsForMappingTasksToDafnyNodes
December 4, 2024 14:57 1h 4m 1s
Feat simplified rust identifiers Build and Test Dafny Standard Libraries #3961: Pull request #5845 synchronize by MikaelMayer
December 4, 2024 14:42 1h 19m 27s feat-simplified-rust-identifiers
feat-simplified-rust-identifiers
December 4, 2024 14:42 1h 19m 27s