Skip to content

Actions: dafny-lang/dafny

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
7,037 workflow run results
7,037 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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