Skip to content
Dafny Nightly

Dafny Nightly #463

Sign in to view logs

Dafny Nightly

Dafny Nightly #463

Run time

Learn about OS pricing on GitHub Actions
Job Run time
dafny-nightly-java / populate-matrix-dimensions
1s
dafny-nightly-python / populate-matrix-dimensions
1s
dafny-nightly-net / populate-matrix-dimensions
1s
dafny-nightly-rust / populate-matrix-dimensions
1s
dafny-nightly-verification / populate-matrix-dimensions
1s
dafny-nightly-net / testDotNet (nightly-latest, 1, 6.0.x, ubuntu-22.04)
7m 51s
dafny-nightly-net / testDotNet (nightly-latest, 2, 6.0.x, ubuntu-22.04)
6m 57s
dafny-nightly-net / testDotNet (nightly-latest, 3, 6.0.x, ubuntu-22.04)
7m 19s
dafny-nightly-net / testDotNet (nightly-latest, 4, 6.0.x, ubuntu-22.04)
7m 59s
dafny-nightly-net / testDotNet (nightly-latest, 5, 6.0.x, ubuntu-22.04)
6m 52s
dafny-nightly-net / testDotNet (nightly-latest, 6, 6.0.x, ubuntu-22.04)
8m 8s
dafny-nightly-net / testDotNet (nightly-latest, 7, 6.0.x, ubuntu-22.04)
11m 29s
dafny-nightly-net / testDotNet (nightly-latest, 8, 6.0.x, ubuntu-22.04)
8m 24s
dafny-nightly-net / testDotNet (nightly-latest, 9, 6.0.x, ubuntu-22.04)
7m 30s
dafny-nightly-net / testDotNet (nightly-latest, 10, 6.0.x, ubuntu-22.04)
7m 16s
dafny-nightly-python / testPython (1)
9m 47s
dafny-nightly-java / testJava (1)
6m 8s
dafny-nightly-python / testPython (2)
9m 47s
dafny-nightly-java / testJava (2)
6m 13s
dafny-nightly-python / testPython (3)
9m 30s
dafny-nightly-java / testJava (3)
9m 57s
dafny-nightly-python / testPython (4)
8m 10s
dafny-nightly-java / testJava (4)
10m 39s
dafny-nightly-python / testPython (5)
9m 27s
dafny-nightly-java / testJava (5)
7m 51s
dafny-nightly-verification / verification (nightly-latest, 1, ubuntu-22.04)
6m 45s
dafny-nightly-rust / testRust (1)
6m 25s
dafny-nightly-verification / verification (nightly-latest, 2, ubuntu-22.04)
7m 9s
dafny-nightly-rust / testRust (2)
5m 5s
dafny-nightly-verification / verification (nightly-latest, 3, ubuntu-22.04)
7m 40s
dafny-nightly-rust / testRust (3)
7m 8s
dafny-nightly-verification / verification (nightly-latest, 4, ubuntu-22.04)
7m 33s
dafny-nightly-rust / testRust (4)
5m 35s
dafny-nightly-verification / verification (nightly-latest, 5, ubuntu-22.04)
6m 33s
dafny-nightly-rust / testRust (5)
5m 32s
dafny-nightly-verification / verification (nightly-latest, 6, ubuntu-22.04)
7m 32s
dafny-nightly-rust / testRust (6)
6m 9s
dafny-nightly-verification / verification (nightly-latest, 7, ubuntu-22.04)
7m 44s
dafny-nightly-rust / testRust (7)
6m 9s
dafny-nightly-verification / verification (nightly-latest, 8, ubuntu-22.04)
8m 23s
dafny-nightly-rust / testRust (8)
6m 56s
dafny-nightly-verification / verification (nightly-latest, 9, ubuntu-22.04)
6m 38s
dafny-nightly-rust / testRust (9)
6m 7s
dafny-nightly-verification / verification (nightly-latest, 10, ubuntu-22.04)
6m 22s
dafny-nightly-rust / testRust (10)
5m 54s
cut-issue-on-failure
10s
5h 0m 48s