Skip to content

Actions: dafny-lang/dafny

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Nightly test and release workflow Nightly test and release workflow #495: Scheduled
December 15, 2024 14:34 1h 9m 47s master
master
December 15, 2024 14:34 1h 9m 47s
Daily soak test workflow Daily soak test workflow #228: Scheduled
December 15, 2024 03:40 13m 32s master
master
December 15, 2024 03:40 13m 32s
Nightly test and release workflow Nightly test and release workflow #494: Scheduled
December 14, 2024 14:34 1h 1m 49s master
master
December 14, 2024 14:34 1h 1m 49s
Daily soak test workflow Daily soak test workflow #227: Scheduled
December 14, 2024 03:38 11m 31s master
master
December 14, 2024 03:38 11m 31s
Use refresh resolver by default Fuzzing on PR #788: Pull request #5653 synchronize by RustanLeino
December 14, 2024 00:23 12s
December 14, 2024 00:23 12s
fix: Account for the optional equality support of map/seq inside newtypes Build and Test #19794: Pull request #5980 synchronize by MikaelMayer
December 13, 2024 20:01 29m 19s RustanLeino:issue-5972-addendum
RustanLeino:issue-5972-addendum
December 13, 2024 20:01 29m 19s
fix: Account for the optional equality support of map/seq inside newtypes Build and Test Dafny Runtimes #9331: Pull request #5980 synchronize by MikaelMayer
December 13, 2024 20:01 5m 15s RustanLeino:issue-5972-addendum
RustanLeino:issue-5972-addendum
December 13, 2024 20:01 5m 15s
fix: Account for the optional equality support of map/seq inside newtypes Test documentation #10843: Pull request #5980 synchronize by MikaelMayer
December 13, 2024 20:01 16m 30s RustanLeino:issue-5972-addendum
RustanLeino:issue-5972-addendum
December 13, 2024 20:01 16m 30s
fix: Account for the optional equality support of map/seq inside newtypes Build DafnyRef.pdf #19024: Pull request #5980 synchronize by MikaelMayer
December 13, 2024 20:01 3m 0s RustanLeino:issue-5972-addendum
RustanLeino:issue-5972-addendum
December 13, 2024 20:01 3m 0s
fix: Account for the optional equality support of map/seq inside newtypes Build and Test Dafny Standard Libraries #4060: Pull request #5980 synchronize by MikaelMayer
December 13, 2024 20:01 15m 27s RustanLeino:issue-5972-addendum
RustanLeino:issue-5972-addendum
December 13, 2024 20:01 15m 27s
fix: Account for the optional equality support of map/seq inside newtypes Fuzzing on PR #787: Pull request #5980 synchronize by MikaelMayer
December 13, 2024 20:01 9s
December 13, 2024 20:01 9s
Test runner generator produces malformed Java code Issue Update for Fuzzer #211: Issue #5982 opened by ssomayyajula
December 13, 2024 19:02 13s
December 13, 2024 19:02 13s
No nesting inside RangeToken.StartToken Updating CompFuzzCI on PR Closed #139: Pull request #5976 closed by keyboardDrummer
December 13, 2024 18:41 2s keyboardDrummer:noNestingInsideRangeToken
keyboardDrummer:noNestingInsideRangeToken
December 13, 2024 18:41 2s
No nesting inside range token (#5976) Deploy Jekyll site to Pages #420: Commit 707ac0e pushed by keyboardDrummer
December 13, 2024 18:41 45s master
master
December 13, 2024 18:41 45s
No nesting inside RangeToken.StartToken Build and Test Dafny Standard Libraries #4059: Pull request #5976 synchronize by keyboardDrummer
December 13, 2024 18:12 21m 24s keyboardDrummer:noNestingInsideRangeToken
keyboardDrummer:noNestingInsideRangeToken
December 13, 2024 18:12 21m 24s
No nesting inside RangeToken.StartToken Build and Test #19793: Pull request #5976 synchronize by keyboardDrummer
December 13, 2024 18:12 30m 17s keyboardDrummer:noNestingInsideRangeToken
keyboardDrummer:noNestingInsideRangeToken
December 13, 2024 18:12 30m 17s
No nesting inside RangeToken.StartToken Test documentation #10842: Pull request #5976 synchronize by keyboardDrummer
December 13, 2024 18:12 16m 38s keyboardDrummer:noNestingInsideRangeToken
keyboardDrummer:noNestingInsideRangeToken
December 13, 2024 18:12 16m 38s
No nesting inside RangeToken.StartToken Fuzzing on PR #786: Pull request #5976 synchronize by keyboardDrummer
December 13, 2024 18:12 11s
December 13, 2024 18:12 11s
No nesting inside RangeToken.StartToken Build and Test Dafny Runtimes #9330: Pull request #5976 synchronize by keyboardDrummer
December 13, 2024 18:12 5m 28s keyboardDrummer:noNestingInsideRangeToken
keyboardDrummer:noNestingInsideRangeToken
December 13, 2024 18:12 5m 28s
No nesting inside RangeToken.StartToken Build DafnyRef.pdf #19023: Pull request #5976 synchronize by keyboardDrummer
December 13, 2024 18:12 2m 55s keyboardDrummer:noNestingInsideRangeToken
keyboardDrummer:noNestingInsideRangeToken
December 13, 2024 18:12 2m 55s
Nightly test and release workflow Nightly test and release workflow #493: Scheduled
December 13, 2024 14:36 1h 8m 12s master
master
December 13, 2024 14:36 1h 8m 12s
Standard libraries and separate compilation Build and Test Dafny Runtimes #9329: Pull request #5981 synchronize by keyboardDrummer
December 13, 2024 12:33 5m 21s keyboardDrummer:standardLibrariesAndSeparateCompilation
keyboardDrummer:standardLibrariesAndSeparateCompilation
December 13, 2024 12:33 5m 21s
Standard libraries and separate compilation Test documentation #10841: Pull request #5981 synchronize by keyboardDrummer
December 13, 2024 12:33 20m 38s keyboardDrummer:standardLibrariesAndSeparateCompilation
keyboardDrummer:standardLibrariesAndSeparateCompilation
December 13, 2024 12:33 20m 38s
Standard libraries and separate compilation Build DafnyRef.pdf #19022: Pull request #5981 synchronize by keyboardDrummer
December 13, 2024 12:33 2m 56s keyboardDrummer:standardLibrariesAndSeparateCompilation
keyboardDrummer:standardLibrariesAndSeparateCompilation
December 13, 2024 12:33 2m 56s
Standard libraries and separate compilation Build and Test Dafny Standard Libraries #4058: Pull request #5981 synchronize by keyboardDrummer
December 13, 2024 12:33 20m 30s keyboardDrummer:standardLibrariesAndSeparateCompilation
keyboardDrummer:standardLibrariesAndSeparateCompilation
December 13, 2024 12:33 20m 30s