Skip to content

Actions: dafny-lang/dafny

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
22,048 workflow runs
22,048 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Use diagnostics instead of IOrigin in the reporting code, to force ma… Build and Test Dafny Standard Libraries #4598: Pull request #6133 synchronize by keyboardDrummer
March 4, 2025 12:13 12m 9s keyboardDrummer:reportingRefactoring
keyboardDrummer:reportingRefactoring
March 4, 2025 12:13 12m 9s
Use diagnostics instead of IOrigin in the reporting code, to force ma… Test documentation #11381: Pull request #6133 synchronize by keyboardDrummer
March 4, 2025 12:13 15m 19s keyboardDrummer:reportingRefactoring
keyboardDrummer:reportingRefactoring
March 4, 2025 12:13 15m 19s
Use diagnostics instead of IOrigin in the reporting code, to force ma… Build DafnyRef.pdf #19562: Pull request #6133 synchronize by keyboardDrummer
March 4, 2025 12:13 2m 38s keyboardDrummer:reportingRefactoring
keyboardDrummer:reportingRefactoring
March 4, 2025 12:13 2m 38s
Use diagnostics instead of IOrigin in the reporting code, to force ma… Build and Test Dafny Runtimes #9869: Pull request #6133 synchronize by keyboardDrummer
March 4, 2025 12:13 5m 23s keyboardDrummer:reportingRefactoring
keyboardDrummer:reportingRefactoring
March 4, 2025 12:13 5m 23s
Use diagnostics instead of IOrigin in the reporting code, to force ma… Build and Test #20332: Pull request #6133 synchronize by keyboardDrummer
March 4, 2025 12:13 35m 40s keyboardDrummer:reportingRefactoring
keyboardDrummer:reportingRefactoring
March 4, 2025 12:13 35m 40s
Use diagnostics instead of IOrigin in the reporting code, to force ma… Fuzzing on PR #1356: Pull request #6133 synchronize by keyboardDrummer
March 4, 2025 12:13 11s
March 4, 2025 12:13 11s
Use diagnostics instead of IOrigin in the reporting code, to force ma… Fuzzing on PR #1355: Pull request #6133 synchronize by keyboardDrummer
March 4, 2025 12:12 9s
March 4, 2025 12:12 9s
Daily soak test workflow Daily soak test workflow #307: Scheduled
March 4, 2025 03:36 22m 33s master
master
March 4, 2025 03:36 22m 33s
feat: Support using --standard-libraries with --enforce-determinism Updating CompFuzzCI on PR Closed #217: Pull request #6137 closed by robin-aws
March 4, 2025 02:41 2s robin-aws:support-enforce-determinism-with-standard-libraries
robin-aws:support-enforce-determinism-with-standard-libraries
March 4, 2025 02:41 2s
feat: Support using --standard-libraries with --enforce-determinism … Deploy Jekyll site to Pages #489: Commit 3524aa1 pushed by robin-aws
March 4, 2025 02:41 42s master
master
March 4, 2025 02:41 42s
Use refresh resolver by default Build DafnyRef.pdf #19561: Pull request #5653 synchronize by RustanLeino
March 4, 2025 01:41 2m 39s RustanLeino:refresh-by-default
RustanLeino:refresh-by-default
March 4, 2025 01:41 2m 39s
Use refresh resolver by default Build and Test Dafny Runtimes #9868: Pull request #5653 synchronize by RustanLeino
March 4, 2025 01:41 5m 8s RustanLeino:refresh-by-default
RustanLeino:refresh-by-default
March 4, 2025 01:41 5m 8s
Use refresh resolver by default Test documentation #11380: Pull request #5653 synchronize by RustanLeino
March 4, 2025 01:41 15m 8s RustanLeino:refresh-by-default
RustanLeino:refresh-by-default
March 4, 2025 01:41 15m 8s
Use refresh resolver by default Build and Test #20331: Pull request #5653 synchronize by RustanLeino
March 4, 2025 01:41 24m 58s RustanLeino:refresh-by-default
RustanLeino:refresh-by-default
March 4, 2025 01:41 24m 58s
Use refresh resolver by default Build and Test Dafny Standard Libraries #4597: Pull request #5653 synchronize by RustanLeino
March 4, 2025 01:41 7m 49s RustanLeino:refresh-by-default
RustanLeino:refresh-by-default
March 4, 2025 01:41 7m 49s
Use refresh resolver by default Fuzzing on PR #1354: Pull request #5653 synchronize by RustanLeino
March 4, 2025 01:41 9s
March 4, 2025 01:41 9s
feat: Support using --standard-libraries with --enforce-determinism Build and Test Dafny Runtimes #9867: Pull request #6137 synchronize by robin-aws
March 3, 2025 23:39 6m 9s robin-aws:support-enforce-determinism-with-standard-libraries
robin-aws:support-enforce-determinism-with-standard-libraries
March 3, 2025 23:39 6m 9s
feat: Support using --standard-libraries with --enforce-determinism Build and Test Dafny Standard Libraries #4596: Pull request #6137 synchronize by robin-aws
March 3, 2025 23:39 13m 39s robin-aws:support-enforce-determinism-with-standard-libraries
robin-aws:support-enforce-determinism-with-standard-libraries
March 3, 2025 23:39 13m 39s
feat: Support using --standard-libraries with --enforce-determinism Build and Test #20330: Pull request #6137 synchronize by robin-aws
March 3, 2025 23:39 37m 14s robin-aws:support-enforce-determinism-with-standard-libraries
robin-aws:support-enforce-determinism-with-standard-libraries
March 3, 2025 23:39 37m 14s
feat: Support using --standard-libraries with --enforce-determinism Build DafnyRef.pdf #19560: Pull request #6137 synchronize by robin-aws
March 3, 2025 23:39 2m 47s robin-aws:support-enforce-determinism-with-standard-libraries
robin-aws:support-enforce-determinism-with-standard-libraries
March 3, 2025 23:39 2m 47s
feat: Support using --standard-libraries with --enforce-determinism Test documentation #11379: Pull request #6137 synchronize by robin-aws
March 3, 2025 23:39 14m 41s robin-aws:support-enforce-determinism-with-standard-libraries
robin-aws:support-enforce-determinism-with-standard-libraries
March 3, 2025 23:39 14m 41s
feat: Support using --standard-libraries with --enforce-determinism Fuzzing on PR #1353: Pull request #6137 synchronize by robin-aws
March 3, 2025 23:39 9s
March 3, 2025 23:39 9s
Clean up IOrigin Updating CompFuzzCI on PR Closed #216: Pull request #6135 closed by keyboardDrummer
March 3, 2025 23:28 2s keyboardDrummer:cleanupIOrigin
keyboardDrummer:cleanupIOrigin
March 3, 2025 23:28 2s
Clean up IOrigin (#6135) Deploy Jekyll site to Pages #488: Commit 83fdee1 pushed by keyboardDrummer
March 3, 2025 23:28 36s master
master
March 3, 2025 23:28 36s
feat: Support using --standard-libraries with --enforce-determinism Build and Test #20329: Pull request #6137 synchronize by robin-aws
March 3, 2025 22:50 38m 57s robin-aws:support-enforce-determinism-with-standard-libraries
robin-aws:support-enforce-determinism-with-standard-libraries
March 3, 2025 22:50 38m 57s