Skip to content

Actions: dafny-lang/dafny

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
20,201 workflow runs
20,201 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Daily soak test workflow Daily soak test workflow #362: Scheduled
April 28, 2025 03:41 15m 49s master
master
April 28, 2025 03:41 15m 49s
Nightly test and release workflow Nightly test and release workflow #635: Scheduled
April 27, 2025 14:34 48m 14s master
master
April 27, 2025 14:34 48m 14s
Daily soak test workflow Daily soak test workflow #361: Scheduled
April 27, 2025 03:40 15m 2s master
master
April 27, 2025 03:40 15m 2s
Nightly test and release workflow Nightly test and release workflow #634: Scheduled
April 26, 2025 14:34 1h 1m 20s master
master
April 26, 2025 14:34 1h 1m 20s
Daily soak test workflow Daily soak test workflow #360: Scheduled
April 26, 2025 03:38 12m 42s master
master
April 26, 2025 03:38 12m 42s
Fix call stmt reporting Updating CompFuzzCI on PR Closed #258: Pull request #6191 closed by keyboardDrummer
April 25, 2025 15:11 1s keyboardDrummer:fixCallStmtReporting
keyboardDrummer:fixCallStmtReporting
April 25, 2025 15:11 1s
Fix call stmt reporting (#6191) Deploy Jekyll site to Pages #527: Commit 43f7d6c pushed by keyboardDrummer
April 25, 2025 15:11 30s master
master
April 25, 2025 15:11 30s
Nightly test and release workflow Nightly test and release workflow #633: Scheduled
April 25, 2025 14:36 1h 13m 57s master
master
April 25, 2025 14:36 1h 13m 57s
Remove legacy CLI Build and Test #20643: Pull request #6205 synchronize by keyboardDrummer
April 25, 2025 11:21 24m 41s keyboardDrummer:removeLegacyCli
keyboardDrummer:removeLegacyCli
April 25, 2025 11:21 24m 41s
Remove legacy CLI Test documentation #11692: Pull request #6205 synchronize by keyboardDrummer
April 25, 2025 11:21 5m 37s keyboardDrummer:removeLegacyCli
keyboardDrummer:removeLegacyCli
April 25, 2025 11:21 5m 37s
Remove legacy CLI Build DafnyRef.pdf #19873: Pull request #6205 synchronize by keyboardDrummer
April 25, 2025 11:21 2m 36s keyboardDrummer:removeLegacyCli
keyboardDrummer:removeLegacyCli
April 25, 2025 11:21 2m 36s
Remove legacy CLI Build and Test Dafny Runtimes #10180: Pull request #6205 synchronize by keyboardDrummer
April 25, 2025 11:21 3m 1s keyboardDrummer:removeLegacyCli
keyboardDrummer:removeLegacyCli
April 25, 2025 11:21 3m 1s
Remove legacy CLI Build and Test Dafny Standard Libraries #4909: Pull request #6205 synchronize by keyboardDrummer
April 25, 2025 11:21 12m 1s keyboardDrummer:removeLegacyCli
keyboardDrummer:removeLegacyCli
April 25, 2025 11:21 12m 1s
Remove legacy CLI Fuzzing on PR #1687: Pull request #6205 synchronize by keyboardDrummer
April 25, 2025 11:21 8s
April 25, 2025 11:21 8s
Remove legacy CLI Build and Test Dafny Standard Libraries #4908: Pull request #6205 opened by keyboardDrummer
April 25, 2025 11:16 5m 10s keyboardDrummer:removeLegacyCli
keyboardDrummer:removeLegacyCli
April 25, 2025 11:16 5m 10s
Remove legacy CLI Fuzzing on PR #1686: Pull request #6205 opened by keyboardDrummer
April 25, 2025 11:16 9s
April 25, 2025 11:16 9s
Remove legacy CLI Build and Test #20642: Pull request #6205 opened by keyboardDrummer
April 25, 2025 11:16 5m 48s keyboardDrummer:removeLegacyCli
keyboardDrummer:removeLegacyCli
April 25, 2025 11:16 5m 48s
Remove legacy CLI Test documentation #11691: Pull request #6205 opened by keyboardDrummer
April 25, 2025 11:16 2m 13s keyboardDrummer:removeLegacyCli
keyboardDrummer:removeLegacyCli
April 25, 2025 11:16 2m 13s
Remove legacy CLI Build and Test Dafny Runtimes #10179: Pull request #6205 opened by keyboardDrummer
April 25, 2025 11:16 2m 16s keyboardDrummer:removeLegacyCli
keyboardDrummer:removeLegacyCli
April 25, 2025 11:16 2m 16s
Remove legacy CLI Build DafnyRef.pdf #19872: Pull request #6205 opened by keyboardDrummer
April 25, 2025 11:16 1m 44s keyboardDrummer:removeLegacyCli
keyboardDrummer:removeLegacyCli
April 25, 2025 11:16 1m 44s
NullReferenceException when using Generics inside match Issue Update for Fuzzer #409: Issue #6199 closed by keyboardDrummer
April 25, 2025 10:29 10s
April 25, 2025 10:29 10s
Fix generics insidematch Updating CompFuzzCI on PR Closed #257: Pull request #6202 closed by keyboardDrummer
April 25, 2025 10:29 1s keyboardDrummer:fixGenericsInsidematch
keyboardDrummer:fixGenericsInsidematch
April 25, 2025 10:29 1s
Fix call stmt reporting Build DafnyRef.pdf #19871: Pull request #6191 synchronize by keyboardDrummer
April 25, 2025 10:01 2m 34s keyboardDrummer:fixCallStmtReporting
keyboardDrummer:fixCallStmtReporting
April 25, 2025 10:01 2m 34s
Fix call stmt reporting Build and Test Dafny Standard Libraries #4907: Pull request #6191 synchronize by keyboardDrummer
April 25, 2025 10:01 16m 46s keyboardDrummer:fixCallStmtReporting
keyboardDrummer:fixCallStmtReporting
April 25, 2025 10:01 16m 46s
Fix call stmt reporting Build and Test Dafny Runtimes #10178: Pull request #6191 synchronize by keyboardDrummer
April 25, 2025 10:01 6m 18s keyboardDrummer:fixCallStmtReporting
keyboardDrummer:fixCallStmtReporting
April 25, 2025 10:01 6m 18s