Skip to content

Actions: dafny-lang/dafny

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
23,002 workflow runs
23,002 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fixes: Rust supports overriding traits Build and Test Dafny Runtimes #9777: Pull request #5948 synchronize by MikaelMayer
February 13, 2025 15:37 4m 3s feat-rust-support-overriding-trait
feat-rust-support-overriding-trait
February 13, 2025 15:37 4m 3s
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
Fixes: Rust supports overriding traits Test documentation #11289: Pull request #5948 synchronize by MikaelMayer
February 13, 2025 15:37 14m 41s feat-rust-support-overriding-trait
feat-rust-support-overriding-trait
February 13, 2025 15:37 14m 41s
Fixes: Rust supports overriding traits Build and Test #20240: Pull request #5948 synchronize by MikaelMayer
February 13, 2025 15:37 23m 35s feat-rust-support-overriding-trait
feat-rust-support-overriding-trait
February 13, 2025 15:37 23m 35s
Fixes: Rust supports overriding traits Build DafnyRef.pdf #19470: Pull request #5948 synchronize by MikaelMayer
February 13, 2025 15:37 2m 47s feat-rust-support-overriding-trait
feat-rust-support-overriding-trait
February 13, 2025 15:37 2m 47s
Fixes: Rust supports overriding traits Fuzzing on PR #1260: Pull request #5948 synchronize by MikaelMayer
February 13, 2025 15:37 13s
February 13, 2025 15:37 13s
Test Brew release on Mac Test Brew release on Mac #12458: Manually run by MikaelMayer
February 13, 2025 15:19 20s master
master
February 13, 2025 15:19 20s
Nightly test and release workflow Nightly test and release workflow #559: Scheduled
February 13, 2025 14:35 55m 50s master
master
February 13, 2025 14:35 55m 50s
Daily soak test workflow Daily soak test workflow #288: Scheduled
February 13, 2025 03:33 14m 56s master
master
February 13, 2025 03:33 14m 56s
Revealed axiom doesn't make it to SMT solver Issue Update for Fuzzer #345: Issue #6104 opened by RustanLeino
February 12, 2025 21:38 12s
February 12, 2025 21:38 12s
Enable generating a parsed AST for Dafny, and a deserializer for that Test documentation #11288: Pull request #6102 synchronize by keyboardDrummer
February 12, 2025 14:55 14m 43s keyboardDrummer:jsonParser
keyboardDrummer:jsonParser
February 12, 2025 14:55 14m 43s
Enable generating a parsed AST for Dafny, and a deserializer for that Build and Test #20239: Pull request #6102 synchronize by keyboardDrummer
February 12, 2025 14:55 40m 4s keyboardDrummer:jsonParser
keyboardDrummer:jsonParser
February 12, 2025 14:55 40m 4s
Enable generating a parsed AST for Dafny, and a deserializer for that Build DafnyRef.pdf #19469: Pull request #6102 synchronize by keyboardDrummer
February 12, 2025 14:55 3m 9s keyboardDrummer:jsonParser
keyboardDrummer:jsonParser
February 12, 2025 14:55 3m 9s
Enable generating a parsed AST for Dafny, and a deserializer for that Build and Test Dafny Runtimes #9776: Pull request #6102 synchronize by keyboardDrummer
February 12, 2025 14:55 5m 33s keyboardDrummer:jsonParser
keyboardDrummer:jsonParser
February 12, 2025 14:55 5m 33s
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 Fuzzing on PR #1259: Pull request #6102 synchronize by keyboardDrummer
February 12, 2025 14:55 12s
February 12, 2025 14:55 12s
Nightly test and release workflow Nightly test and release workflow #558: Scheduled
February 12, 2025 14:35 1h 5m 12s master
master
February 12, 2025 14:35 1h 5m 12s
Enable generating a parsed AST for Dafny, and a deserializer for that Build and Test Dafny Runtimes #9775: Pull request #6102 synchronize by keyboardDrummer
February 12, 2025 13:33 5m 24s keyboardDrummer:jsonParser
keyboardDrummer:jsonParser
February 12, 2025 13:33 5m 24s
Enable generating a parsed AST for Dafny, and a deserializer for that Build DafnyRef.pdf #19468: Pull request #6102 synchronize by keyboardDrummer
February 12, 2025 13:33 3m 7s keyboardDrummer:jsonParser
keyboardDrummer:jsonParser
February 12, 2025 13:33 3m 7s
Enable generating a parsed AST for Dafny, and a deserializer for that Build and Test #20238: Pull request #6102 synchronize by keyboardDrummer
February 12, 2025 13:33 26m 45s keyboardDrummer:jsonParser
keyboardDrummer:jsonParser
February 12, 2025 13:33 26m 45s
Enable generating a parsed AST for Dafny, and a deserializer for that Test documentation #11287: Pull request #6102 synchronize by keyboardDrummer
February 12, 2025 13:33 14m 42s keyboardDrummer:jsonParser
keyboardDrummer:jsonParser
February 12, 2025 13:33 14m 42s
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 Fuzzing on PR #1258: Pull request #6102 synchronize by keyboardDrummer
February 12, 2025 13:33 11s
February 12, 2025 13:33 11s
Noop && operation changes verification time Issue Update for Fuzzer #344: Issue #6103 opened by keyboardDrummer
February 12, 2025 13:01 11s
February 12, 2025 13:01 11s
Enable generating a parsed AST for Dafny, and a deserializer for that Test documentation #11286: Pull request #6102 synchronize by keyboardDrummer
February 12, 2025 12:11 14m 42s keyboardDrummer:jsonParser
keyboardDrummer:jsonParser
February 12, 2025 12:11 14m 42s