Skip to content
Dafny Nightly

Dafny Nightly #426

Sign in to view logs

Dafny Nightly

Dafny Nightly #426

Run time

Learn about OS pricing on GitHub Actions
Job Run time
dafny-nightly-net / testDotNet (AwsEncryptionSDK, windows-latest)
3m 11s
dafny-nightly-net / testVectors (TestVectors, ubuntu-latest)
2m 19s
dafny-nightly-net / testDotNet (AwsEncryptionSDK, ubuntu-latest)
3m 5s
dafny-nightly-rust / testRust (AwsEncryptionSDK, windows-latest)
8m 47s
dafny-nightly-net / testVectors (TestVectors, macos-13)
11m 53s
dafny-nightly-go / testGo (AwsEncryptionSDK, 1.23, ubuntu-latest)
2m 22s
dafny-nightly-net / testDotNet (AwsEncryptionSDK, macos-13)
21m 27s
dafny-nightly-rust / testRust (AwsEncryptionSDK, ubuntu-latest)
13m 38s
dafny-nightly-go / testGo (AwsEncryptionSDK, 1.23, macos-13)
3m 22s
dafny-nightly-rust / testRust (AwsEncryptionSDK, macos-13)
31m 40s
dafny-nightly-go / testGo (TestVectors, 1.23, ubuntu-latest)
5m 57s
dafny-nightly-rust / testVectors (TestVectors, ubuntu-latest)
4m 2s
dafny-nightly-go / testGo (TestVectors, 1.23, macos-13)
8m 40s
dafny-nightly-verification / verification (AwsEncryptionSDK, macos-13)
33m 35s
dafny-nightly-rust / testVectors (TestVectors, macos-13)
8m 15s
dafny-nightly-verification / verification (TestVectors, macos-13)
17m 22s
cut-issue-on-failure
5s
2h 59m 40s