Skip to content

Actions: dafny-lang/dafny

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
25,332 workflow runs
25,332 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Daily soak test workflow Daily soak test workflow #257: Scheduled
January 13, 2025 03:37 In progress master
master
January 13, 2025 03:37 In progress
Nightly test and release workflow Nightly test and release workflow #525: Scheduled
January 12, 2025 14:33 58m 19s master
master
January 12, 2025 14:33 58m 19s
Daily soak test workflow Daily soak test workflow #256: Scheduled
January 12, 2025 03:36 19m 24s master
master
January 12, 2025 03:36 19m 24s
Nightly test and release workflow Nightly test and release workflow #524: Scheduled
January 11, 2025 14:33 58m 33s master
master
January 11, 2025 14:33 58m 33s
Improve error message locations for function calls and call arguments Updating CompFuzzCI on PR Closed #172: Pull request #6009 closed by keyboardDrummer
January 11, 2025 09:41 2s keyboardDrummer:improveErrorLocations
keyboardDrummer:improveErrorLocations
January 11, 2025 09:41 2s
Improve error message locations for function calls and call arguments… Deploy Jekyll site to Pages #451: Commit b8fad27 pushed by keyboardDrummer
January 11, 2025 09:41 34s master
master
January 11, 2025 09:41 34s
Improve error message locations for function calls and call arguments Build and Test #20057: Pull request #6009 synchronize by keyboardDrummer
January 11, 2025 09:14 27m 53s keyboardDrummer:improveErrorLocations
keyboardDrummer:improveErrorLocations
January 11, 2025 09:14 27m 53s
Improve error message locations for function calls and call arguments Build and Test Dafny Runtimes #9594: Pull request #6009 synchronize by keyboardDrummer
January 11, 2025 09:14 5m 4s keyboardDrummer:improveErrorLocations
keyboardDrummer:improveErrorLocations
January 11, 2025 09:14 5m 4s
Improve error message locations for function calls and call arguments Build DafnyRef.pdf #19287: Pull request #6009 synchronize by keyboardDrummer
January 11, 2025 09:14 2m 26s keyboardDrummer:improveErrorLocations
keyboardDrummer:improveErrorLocations
January 11, 2025 09:14 2m 26s
Improve error message locations for function calls and call arguments Build and Test Dafny Standard Libraries #4323: Pull request #6009 synchronize by keyboardDrummer
January 11, 2025 09:14 13m 11s keyboardDrummer:improveErrorLocations
keyboardDrummer:improveErrorLocations
January 11, 2025 09:14 13m 11s
Improve error message locations for function calls and call arguments Test documentation #11106: Pull request #6009 synchronize by keyboardDrummer
January 11, 2025 09:14 14m 13s keyboardDrummer:improveErrorLocations
keyboardDrummer:improveErrorLocations
January 11, 2025 09:14 14m 13s
Improve error message locations for function calls and call arguments Fuzzing on PR #1064: Pull request #6009 synchronize by keyboardDrummer
January 11, 2025 09:14 13s
January 11, 2025 09:14 13s
Remove function-context-height variable in Boogie encoding Build DafnyRef.pdf #19286: Pull request #6046 opened by RustanLeino
January 11, 2025 07:28 2m 46s RustanLeino:remove-functionHeight
RustanLeino:remove-functionHeight
January 11, 2025 07:28 2m 46s
Remove function-context-height variable in Boogie encoding Build and Test #20056: Pull request #6046 opened by RustanLeino
January 11, 2025 07:28 26m 7s RustanLeino:remove-functionHeight
RustanLeino:remove-functionHeight
January 11, 2025 07:28 26m 7s
Remove function-context-height variable in Boogie encoding Test documentation #11105: Pull request #6046 opened by RustanLeino
January 11, 2025 07:28 14m 42s RustanLeino:remove-functionHeight
RustanLeino:remove-functionHeight
January 11, 2025 07:28 14m 42s
Remove function-context-height variable in Boogie encoding Build and Test Dafny Runtimes #9593: Pull request #6046 opened by RustanLeino
January 11, 2025 07:28 5m 0s RustanLeino:remove-functionHeight
RustanLeino:remove-functionHeight
January 11, 2025 07:28 5m 0s
Remove function-context-height variable in Boogie encoding Build and Test Dafny Standard Libraries #4322: Pull request #6046 opened by RustanLeino
January 11, 2025 07:28 10m 56s RustanLeino:remove-functionHeight
RustanLeino:remove-functionHeight
January 11, 2025 07:28 10m 56s
Remove function-context-height variable in Boogie encoding Fuzzing on PR #1063: Pull request #6046 opened by RustanLeino
January 11, 2025 07:28 11s
January 11, 2025 07:28 11s
Regression fix can call Updating CompFuzzCI on PR Closed #171: Pull request #6041 closed by typerSniper
January 11, 2025 05:36 2s typerSniper:regression-fix-can-call
typerSniper:regression-fix-can-call
January 11, 2025 05:36 2s
Regression fix can call (#6041) Deploy Jekyll site to Pages #450: Commit c42b706 pushed by typerSniper
January 11, 2025 05:36 42s master
master
January 11, 2025 05:36 42s
fix: Forbid recursive function uses in decreases clauses Build DafnyRef.pdf #19285: Pull request #6045 synchronize by RustanLeino
January 11, 2025 05:29 2m 41s RustanLeino:issue-6043
RustanLeino:issue-6043
January 11, 2025 05:29 2m 41s
fix: Forbid recursive function uses in decreases clauses Build and Test Dafny Runtimes #9592: Pull request #6045 synchronize by RustanLeino
January 11, 2025 05:29 5m 9s RustanLeino:issue-6043
RustanLeino:issue-6043
January 11, 2025 05:29 5m 9s
fix: Forbid recursive function uses in decreases clauses Build and Test #20055: Pull request #6045 synchronize by RustanLeino
January 11, 2025 05:29 27m 58s RustanLeino:issue-6043
RustanLeino:issue-6043
January 11, 2025 05:29 27m 58s
fix: Forbid recursive function uses in decreases clauses Test documentation #11104: Pull request #6045 synchronize by RustanLeino
January 11, 2025 05:29 14m 29s RustanLeino:issue-6043
RustanLeino:issue-6043
January 11, 2025 05:29 14m 29s
fix: Forbid recursive function uses in decreases clauses Build and Test Dafny Standard Libraries #4321: Pull request #6045 synchronize by RustanLeino
January 11, 2025 05:29 14m 10s RustanLeino:issue-6043
RustanLeino:issue-6043
January 11, 2025 05:29 14m 10s