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
3,883 workflow runs
3,883 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat: First pass at the slicing optimization in Java (WIP) Build and Test Dafny Standard Libraries #4512: Pull request #6105 synchronize by robin-aws
February 14, 2025 23:58 16s robin-aws:subsequence-by-slicing
robin-aws:subsequence-by-slicing
February 14, 2025 23:58 16s
Fixes: Rust supports overriding traits Build and Test Dafny Standard Libraries #4511: Pull request #5948 synchronize by MikaelMayer
February 14, 2025 22:38 12s feat-rust-support-overriding-trait
feat-rust-support-overriding-trait
February 14, 2025 22:38 12s
Fixes: Rust supports overriding traits Build and Test Dafny Standard Libraries #4510: Pull request #5948 synchronize by MikaelMayer
February 14, 2025 15:42 13s feat-rust-support-overriding-trait
feat-rust-support-overriding-trait
February 14, 2025 15:42 13s
Fixes: Rust supports overriding traits Build and Test Dafny Standard Libraries #4509: Pull request #5948 synchronize by MikaelMayer
February 14, 2025 03:25 12m 25s feat-rust-support-overriding-trait
feat-rust-support-overriding-trait
February 14, 2025 03:25 12m 25s
feat: First pass at the slicing optimization in Java (WIP) Build and Test Dafny Standard Libraries #4508: Pull request #6105 synchronize by robin-aws
February 14, 2025 00:04 14m 55s robin-aws:subsequence-by-slicing
robin-aws:subsequence-by-slicing
February 14, 2025 00:04 14m 55s
feat: First pass at the slicing optimization in Java (WIP) Build and Test Dafny Standard Libraries #4507: Pull request #6105 opened by robin-aws
February 13, 2025 22:41 12m 17s robin-aws:subsequence-by-slicing
robin-aws:subsequence-by-slicing
February 13, 2025 22:41 12m 17s
Fixes: Rust supports overriding traits Build and Test Dafny Standard Libraries #4506: Pull request #5948 synchronize by MikaelMayer
February 13, 2025 15:37 12m 57s feat-rust-support-overriding-trait
feat-rust-support-overriding-trait
February 13, 2025 15:37 12m 57s
Enable generating a parsed AST for Dafny, and a deserializer for that Build and Test Dafny Standard Libraries #4505: Pull request #6102 synchronize by keyboardDrummer
February 12, 2025 14:55 34m 25s keyboardDrummer:jsonParser
keyboardDrummer:jsonParser
February 12, 2025 14:55 34m 25s
Enable generating a parsed AST for Dafny, and a deserializer for that Build and Test Dafny Standard Libraries #4504: Pull request #6102 synchronize by keyboardDrummer
February 12, 2025 13:33 15m 25s keyboardDrummer:jsonParser
keyboardDrummer:jsonParser
February 12, 2025 13:33 15m 25s
Enable generating a parsed AST for Dafny, and a deserializer for that Build and Test Dafny Standard Libraries #4503: Pull request #6102 synchronize by keyboardDrummer
February 12, 2025 12:11 13m 44s keyboardDrummer:jsonParser
keyboardDrummer:jsonParser
February 12, 2025 12:11 13m 44s
Enable generating a parsed AST for Dafny, and a deserializer for that Build and Test Dafny Standard Libraries #4502: Pull request #6102 synchronize by keyboardDrummer
February 11, 2025 16:13 6m 38s keyboardDrummer:jsonParser
keyboardDrummer:jsonParser
February 11, 2025 16:13 6m 38s
Enable generating a parsed AST for Dafny, and a deserializer for that Build and Test Dafny Standard Libraries #4501: Pull request #6102 synchronize by keyboardDrummer
February 11, 2025 15:14 20s keyboardDrummer:jsonParser
keyboardDrummer:jsonParser
February 11, 2025 15:14 20s
Fixes: Rust supports overriding traits Build and Test Dafny Standard Libraries #4500: Pull request #5948 synchronize by MikaelMayer
February 11, 2025 14:03 17s feat-rust-support-overriding-trait
feat-rust-support-overriding-trait
February 11, 2025 14:03 17s
Fixes: Rust supports overriding traits Build and Test Dafny Standard Libraries #4499: Pull request #5948 synchronize by MikaelMayer
February 10, 2025 23:08 13s feat-rust-support-overriding-trait
feat-rust-support-overriding-trait
February 10, 2025 23:08 13s
feat: Compute triggers for such-that operations Build and Test Dafny Standard Libraries #4498: Pull request #6023 synchronize by RustanLeino
February 10, 2025 17:58 15s RustanLeino:triggers-for-such-that
RustanLeino:triggers-for-such-that
February 10, 2025 17:58 15s
Opaque block fresh soundness Build and Test Dafny Standard Libraries #4497: Pull request #6066 synchronize by keyboardDrummer
February 10, 2025 14:38 39m 42s keyboardDrummer:opaqueBlockFreshSoundness
keyboardDrummer:opaqueBlockFreshSoundness
February 10, 2025 14:38 39m 42s
Opaque block fresh soundness Build and Test Dafny Standard Libraries #4496: Pull request #6066 synchronize by keyboardDrummer
February 8, 2025 10:44 12m 2s keyboardDrummer:opaqueBlockFreshSoundness
keyboardDrummer:opaqueBlockFreshSoundness
February 8, 2025 10:44 12m 2s
Fixes: Rust supports overriding traits Build and Test Dafny Standard Libraries #4495: Pull request #5948 synchronize by MikaelMayer
February 7, 2025 21:41 14m 53s feat-rust-support-overriding-trait
feat-rust-support-overriding-trait
February 7, 2025 21:41 14m 53s
Fixes: Rust supports overriding traits Build and Test Dafny Standard Libraries #4494: Pull request #5948 synchronize by MikaelMayer
February 6, 2025 23:21 12m 57s feat-rust-support-overriding-trait
feat-rust-support-overriding-trait
February 6, 2025 23:21 12m 57s
Documentation snapshot for v4.10.0 Build and Test Dafny Standard Libraries #4493: Pull request #6098 synchronize by MikaelMayer
February 6, 2025 14:43 21m 50s snapshot-v4_10_0
snapshot-v4_10_0
February 6, 2025 14:43 21m 50s
Documentation snapshot for v4.10.0 Build and Test Dafny Standard Libraries #4492: Pull request #6098 synchronize by MikaelMayer
February 6, 2025 14:31 16s snapshot-v4_10_0
snapshot-v4_10_0
February 6, 2025 14:31 16s
Opaque block fresh soundness Build and Test Dafny Standard Libraries #4491: Pull request #6066 synchronize by keyboardDrummer
February 6, 2025 11:12 14s keyboardDrummer:opaqueBlockFreshSoundness
keyboardDrummer:opaqueBlockFreshSoundness
February 6, 2025 11:12 14s
Documentation snapshot for v4.10.0 Build and Test Dafny Standard Libraries #4490: Pull request #6098 opened by MikaelMayer
February 5, 2025 22:18 12s snapshot-v4_10_0
snapshot-v4_10_0
February 5, 2025 22:18 12s
Documentation snapshot for v4.10.0 Build and Test Dafny Standard Libraries #4489: Pull request #6097 opened by MikaelMayer
February 5, 2025 21:24 14s snapshot-v4_10_0
snapshot-v4_10_0
February 5, 2025 21:24 14s
Fixes: Rust supports overriding traits Build and Test Dafny Standard Libraries #4488: Pull request #5948 synchronize by MikaelMayer
February 5, 2025 20:17 16s feat-rust-support-overriding-trait
feat-rust-support-overriding-trait
February 5, 2025 20:17 16s