Skip to content
Dafny Nightly

Dafny Nightly #788

Sign in to view logs

Dafny Nightly

Dafny Nightly #788

Run time

Learn about OS pricing on GitHub Actions
Job Run time
dafny-nightly-rust / testVectors (TestVectors, ubuntu-22.04)
6m 38s
dafny-nightly-net / testVectors (TestVectors, ubuntu-22.04)
6m 33s
dafny-nightly-net / testDotNet (AwsEncryptionSDK, ubuntu-22.04)
17m 11s
dafny-nightly-net / testDotNet (AwsEncryptionSDK, windows-latest)
15m 42s
dafny-nightly-rust / testRust (AwsEncryptionSDK, ubuntu-22.04)
19m 13s
getVersion / getDafnyVersion
7s
dafny-nightly-go / testGo (TestVectors, 1.25, ubuntu-22.04)
26m 0s
dafny-nightly-verification / verification (TestVectors, macos-15)
1m 8s
dafny-nightly-verification / verification (AwsEncryptionSDK, macos-15)
1m 15s
dafny-nightly-go / testGo (TestVectors, 1.23, ubuntu-22.04)
27m 16s
dafny-nightly-rust / testRust (AwsEncryptionSDK, windows-latest)
15m 3s
dafny-nightly-go / testGo (AwsEncryptionSDK, 1.23, ubuntu-22.04)
11m 39s
dafny-nightly-go / testGo (AwsEncryptionSDK, 1.24, ubuntu-22.04)
11m 5s
dafny-nightly-go / testGo (TestVectors, 1.24, ubuntu-22.04)
24m 48s
dafny-nightly-go / testGo (AwsEncryptionSDK, 1.25, ubuntu-22.04)
10m 19s
dafny_nightly_backwards_interop_esdk / dafny-nightly-go / testGo (TestVectors, 1.23, ubuntu-22.04)
13m 34s
dafny_nightly_backwards_interop_mpl / dafny-interop-net / testDotNet (ubuntu-22.04)
6m 51s
dafny_nightly_backwards_interop_esdk / dafny-interop-net-test-vectors / generate_vectors (ubuntu-22.04)
4m 27s
dafny_nightly_backwards_interop_mpl / dafny-interop-net / testDotNet (macos-15)
1m 42s
dafny_nightly_backwards_interop_esdk / dafny-interop-net / testDotNet (ubuntu-22.04)
6m 33s
dafny_nightly_backwards_interop_mpl / dafny-interop-net-test-vectors / generate_vectors (ubuntu-22.04)
1m 39s
dafny_nightly_backwards_interop_esdk / dafny-interop-net-test-vectors / decrypt_python_vectors (macos-15)
5m 25s
dafny_nightly_backwards_interop_esdk / dafny-interop-net / testDotNet (macos-15)
5m 17s
dafny_nightly_backwards_interop_esdk / dafny-interop-net / testDotNet (windows-latest)
10m 30s
dafny_nightly_backwards_interop_mpl / dafny-interop-net / testDotNet (windows-latest)
12m 48s
dafny_nightly_backwards_interop_mpl / dafny-interop-net-test-vectors / generate_vectors (macos-15)
1m 24s
dafny_nightly_backwards_interop_esdk / dafny-interop-net-test-vectors / decrypt_python_vectors (ubuntu-22.04)
5m 43s
dafny_nightly_backwards_interop_mpl / dafny-nightly-go / testGo (TestVectors, 1.23, ubuntu-22.04)
13m 18s
dafny_nightly_backwards_interop_mpl / dafny-interop-net-test-vectors / decrypt_python_vectors (windows-latest)
2m 26s
dafny_nightly_backwards_interop_esdk / dafny-interop-net-test-vectors / decrypt_python_vectors (windows-latest)
5m 28s
dafny_nightly_backwards_interop_mpl / dafny-interop-net-test-vectors / decrypt_python_vectors (ubuntu-22.04)
2m 33s
dafny_nightly_backwards_interop_esdk / dafny-interop-net-test-vectors / generate_vectors (macos-15)
4m 21s
dafny_nightly_backwards_interop_mpl / dafny-interop-net-test-vectors / decrypt_python_vectors (macos-15)
2m 17s
dafny_nightly_backwards_interop_mpl / dafny-interop-net-test-vectors / decrypt_net_vectors_with_js
0s
dafny_nightly_backwards_interop_esdk / dafny-interop-net-test-vectors / decrypt_net_vectors_with_js
0s
cut-issue-on-failure
8s
5h 0m 21s