Skip to content

Actions: dafny-lang/dafny

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
28,302 workflow runs
28,302 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Daily soak test workflow Daily soak test workflow #178: Scheduled
October 26, 2024 03:33 12m 54s master
master
October 26, 2024 03:33 12m 54s
Cache constant RHS value evaluation at runtime Issue Update for Fuzzer #128: Issue #5861 opened by robin-aws
October 25, 2024 23:34 10s
October 25, 2024 23:34 10s
fix: Try a simple revert Build and Test Dafny Runtimes #8889: Pull request #5860 opened by robin-aws
October 25, 2024 22:55 13s robin-aws:revert-csharp-runtime-funcextensions-change
robin-aws:revert-csharp-runtime-funcextensions-change
October 25, 2024 22:55 13s
fix: Try a simple revert Build DafnyRef.pdf #18582: Pull request #5860 opened by robin-aws
October 25, 2024 22:55 20s robin-aws:revert-csharp-runtime-funcextensions-change
robin-aws:revert-csharp-runtime-funcextensions-change
October 25, 2024 22:55 20s
fix: Try a simple revert Test documentation #10401: Pull request #5860 opened by robin-aws
October 25, 2024 22:55 20s robin-aws:revert-csharp-runtime-funcextensions-change
robin-aws:revert-csharp-runtime-funcextensions-change
October 25, 2024 22:55 20s
fix: Try a simple revert Build and Test Dafny Standard Libraries #3618: Pull request #5860 opened by robin-aws
October 25, 2024 22:55 20s robin-aws:revert-csharp-runtime-funcextensions-change
robin-aws:revert-csharp-runtime-funcextensions-change
October 25, 2024 22:55 20s
fix: Try a simple revert Build and Test #19352: Pull request #5860 opened by robin-aws
October 25, 2024 22:55 19s robin-aws:revert-csharp-runtime-funcextensions-change
robin-aws:revert-csharp-runtime-funcextensions-change
October 25, 2024 22:55 19s
fix: Try a simple revert Fuzzing on PR #332: Pull request #5860 opened by robin-aws
October 25, 2024 22:55 10s
October 25, 2024 22:55 10s
chore: Improve tests Build and Test Dafny Runtimes #8888: Pull request #5859 opened by RustanLeino
October 25, 2024 22:50 13s RustanLeino:improve-tests
RustanLeino:improve-tests
October 25, 2024 22:50 13s
chore: Improve tests Build DafnyRef.pdf #18581: Pull request #5859 opened by RustanLeino
October 25, 2024 22:50 2m 37s RustanLeino:improve-tests
RustanLeino:improve-tests
October 25, 2024 22:50 2m 37s
chore: Improve tests Test documentation #10400: Pull request #5859 opened by RustanLeino
October 25, 2024 22:50 16s RustanLeino:improve-tests
RustanLeino:improve-tests
October 25, 2024 22:50 16s
chore: Improve tests Build and Test #19351: Pull request #5859 opened by RustanLeino
October 25, 2024 22:50 15s RustanLeino:improve-tests
RustanLeino:improve-tests
October 25, 2024 22:50 15s
chore: Improve tests Build and Test Dafny Standard Libraries #3617: Pull request #5859 opened by RustanLeino
October 25, 2024 22:50 17s RustanLeino:improve-tests
RustanLeino:improve-tests
October 25, 2024 22:50 17s
chore: Improve tests Fuzzing on PR #331: Pull request #5859 opened by RustanLeino
October 25, 2024 22:50 13s
October 25, 2024 22:50 13s
Isolate paths Updating CompFuzzCI on PR Closed #72: Pull request #5832 closed by keyboardDrummer
October 25, 2024 16:05 2s keyboardDrummer:isolatePaths
keyboardDrummer:isolatePaths
October 25, 2024 16:05 2s
Isolate paths (#5832) Deploy Jekyll site to Pages #357: Commit 84dbe69 pushed by keyboardDrummer
October 25, 2024 16:05 38s master
master
October 25, 2024 16:05 38s
Isolate paths Build and Test #19350: Pull request #5832 synchronize by keyboardDrummer
October 25, 2024 14:55 1h 11m 49s keyboardDrummer:isolatePaths
keyboardDrummer:isolatePaths
October 25, 2024 14:55 1h 11m 49s
Isolate paths Build and Test Dafny Standard Libraries #3616: Pull request #5832 synchronize by keyboardDrummer
October 25, 2024 14:55 57m 1s keyboardDrummer:isolatePaths
keyboardDrummer:isolatePaths
October 25, 2024 14:55 57m 1s
Isolate paths Build DafnyRef.pdf #18580: Pull request #5832 synchronize by keyboardDrummer
October 25, 2024 14:55 2m 54s keyboardDrummer:isolatePaths
keyboardDrummer:isolatePaths
October 25, 2024 14:55 2m 54s
Isolate paths Build and Test Dafny Runtimes #8887: Pull request #5832 synchronize by keyboardDrummer
October 25, 2024 14:55 5m 13s keyboardDrummer:isolatePaths
keyboardDrummer:isolatePaths
October 25, 2024 14:55 5m 13s
Isolate paths Test documentation #10399: Pull request #5832 synchronize by keyboardDrummer
October 25, 2024 14:55 16m 45s keyboardDrummer:isolatePaths
keyboardDrummer:isolatePaths
October 25, 2024 14:55 16m 45s
Isolate paths Fuzzing on PR #330: Pull request #5832 synchronize by keyboardDrummer
October 25, 2024 14:55 15s
October 25, 2024 14:55 15s
Nightly test and release workflow Nightly test and release workflow #440: Scheduled
October 25, 2024 14:35 24m 11s master
master
October 25, 2024 14:35 24m 11s
Isolate paths Build and Test Dafny Runtimes #8886: Pull request #5832 synchronize by keyboardDrummer
October 25, 2024 11:51 4m 58s keyboardDrummer:isolatePaths
keyboardDrummer:isolatePaths
October 25, 2024 11:51 4m 58s
Isolate paths Build and Test #19349: Pull request #5832 synchronize by keyboardDrummer
October 25, 2024 11:51 35m 14s keyboardDrummer:isolatePaths
keyboardDrummer:isolatePaths
October 25, 2024 11:51 35m 14s