Thanks to visit codestin.com
Credit goes to github.com

Skip to content

Actions: dafny-lang/dafny

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
11,817 workflow runs
11,817 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Daily soak test workflow Daily soak test workflow #664: Scheduled
15m 57s master
master
15m 57s
feat: Allow functions to depend on allocation set Build DafnyRef.pdf #20948: Pull request #6407 synchronize by RustanLeino
5m 12s RustanLeino:reads-star-star
RustanLeino:reads-star-star
5m 12s
feat: Allow functions to depend on allocation set Build and Test #21718: Pull request #6407 synchronize by RustanLeino
49m 8s RustanLeino:reads-star-star
RustanLeino:reads-star-star
49m 8s
feat: Allow functions to depend on allocation set Build and Test Dafny Standard Libraries #5984: Pull request #6407 synchronize by RustanLeino
48m 44s RustanLeino:reads-star-star
RustanLeino:reads-star-star
48m 44s
feat: Allow functions to depend on allocation set Build and Test Dafny Runtimes #11255: Pull request #6407 synchronize by RustanLeino
12m 24s RustanLeino:reads-star-star
RustanLeino:reads-star-star
12m 24s
feat: Allow functions to depend on allocation set Test documentation #12767: Pull request #6407 synchronize by RustanLeino
21m 1s RustanLeino:reads-star-star
RustanLeino:reads-star-star
21m 1s
feat: Allow functions to depend on allocation set Test documentation #12766: Pull request #6407 synchronize by RustanLeino
16m 33s RustanLeino:reads-star-star
RustanLeino:reads-star-star
16m 33s
feat: Allow functions to depend on allocation set Build and Test Dafny Standard Libraries #5983: Pull request #6407 synchronize by RustanLeino
25m 14s RustanLeino:reads-star-star
RustanLeino:reads-star-star
25m 14s
feat: Allow functions to depend on allocation set Build DafnyRef.pdf #20947: Pull request #6407 synchronize by RustanLeino
3m 24s RustanLeino:reads-star-star
RustanLeino:reads-star-star
3m 24s
feat: Allow functions to depend on allocation set Build and Test Dafny Runtimes #11254: Pull request #6407 synchronize by RustanLeino
6m 42s RustanLeino:reads-star-star
RustanLeino:reads-star-star
6m 42s
feat: Allow functions to depend on allocation set Build and Test #21717: Pull request #6407 synchronize by RustanLeino
24m 39s RustanLeino:reads-star-star
RustanLeino:reads-star-star
24m 39s
feat: Allow functions to depend on allocation set Build and Test Dafny Runtimes #11253: Pull request #6407 synchronize by RustanLeino
6m 38s RustanLeino:reads-star-star
RustanLeino:reads-star-star
6m 38s
feat: Allow functions to depend on allocation set Build DafnyRef.pdf #20946: Pull request #6407 synchronize by RustanLeino
3m 28s RustanLeino:reads-star-star
RustanLeino:reads-star-star
3m 28s
feat: Allow functions to depend on allocation set Build and Test #21716: Pull request #6407 synchronize by RustanLeino
26m 48s RustanLeino:reads-star-star
RustanLeino:reads-star-star
26m 48s
feat: Allow functions to depend on allocation set Build and Test Dafny Standard Libraries #5982: Pull request #6407 synchronize by RustanLeino
19m 34s RustanLeino:reads-star-star
RustanLeino:reads-star-star
19m 34s
feat: Allow functions to depend on allocation set Test documentation #12765: Pull request #6407 synchronize by RustanLeino
15m 48s RustanLeino:reads-star-star
RustanLeino:reads-star-star
15m 48s
Nightly test and release workflow Nightly test and release workflow #950: Scheduled
1h 50m 22s master
master
1h 50m 22s
Daily soak test workflow Daily soak test workflow #663: Scheduled
13m 54s master
master
13m 54s
Nightly test and release workflow Nightly test and release workflow #949: Scheduled
1h 21m 12s master
master
1h 21m 12s
Daily soak test workflow Daily soak test workflow #662: Scheduled
10m 51s master
master
10m 51s
Nightly test and release workflow Nightly test and release workflow #948: Scheduled
1h 26m 1s master
master
1h 26m 1s
Daily soak test workflow Daily soak test workflow #661: Scheduled
16m 43s master
master
16m 43s
Nightly test and release workflow Nightly test and release workflow #947: Scheduled
1h 31m 7s master
master
1h 31m 7s
Daily soak test workflow Daily soak test workflow #660: Scheduled
13m 49s master
master
13m 49s
Nightly test and release workflow Nightly test and release workflow #946: Scheduled
1h 27m 7s master
master
1h 27m 7s