Skip to content
Dafny Nightly

Dafny Nightly #92

Sign in to view logs

Dafny Nightly

Dafny Nightly #92

Run time

Learn about OS pricing on GitHub Actions
Job Run time
dafny-nightly-verification / verification (TestVectorsAwsCryptographicMaterialProviders, macos-latest-large)
3m 40s
dafny-nightly-verification / verification (AwsCryptographyPrimitives, macos-latest-large)
1m 19s
dafny-nightly-format / verification (TestVectorsAwsCryptographicMaterialProviders, macos-latest-large)
1m 17s
dafny-nightly-verification / verification (ComAmazonawsKms, macos-latest-large)
46s
dafny-nightly-format / verification (AwsCryptographyPrimitives, macos-latest-large)
1m 18s
dafny-nightly-java / testJava (AwsCryptographyPrimitives, ubuntu-latest)
47s
dafny-nightly-verification / verification (ComAmazonawsDynamodb, macos-latest-large)
41s
dafny-nightly-format / verification (ComAmazonawsKms, macos-latest-large)
41s
dafny-nightly-java / testJava (AwsCryptographyPrimitives, macos-latest)
45s
dafny-nightly-verification / verification (AwsCryptographicMaterialProviders, macos-latest-large)
4m 3s
dafny-nightly-net / testDotNet (StandardLibrary, 6.0.x, windows-latest)
39s
dafny-nightly-format / verification (ComAmazonawsDynamodb, macos-latest-large)
42s
dafny-nightly-java / testJava (ComAmazonawsKms, ubuntu-latest)
46s
dafny-nightly-verification / verification (StandardLibrary, macos-latest-large)
3m 50s
dafny-nightly-net / testDotNet (StandardLibrary, 6.0.x, ubuntu-latest)
53s
dafny-nightly-format / verification (AwsCryptographicMaterialProviders, macos-latest-large)
1m 39s
dafny-nightly-java / testJava (ComAmazonawsKms, macos-latest)
30s
dafny-nightly-net / testDotNet (StandardLibrary, 6.0.x, macos-latest)
36s
dafny-nightly-java / testJava (ComAmazonawsDynamodb, ubuntu-latest)
34s
dafny-nightly-net / testDotNet (AwsCryptographyPrimitives, 6.0.x, windows-latest)
42s
dafny-nightly-format / verification (StandardLibrary, macos-latest-large)
1m 36s
dafny-nightly-java / testJava (ComAmazonawsDynamodb, macos-latest)
47s
dafny-nightly-net / testDotNet (AwsCryptographyPrimitives, 6.0.x, ubuntu-latest)
53s
dafny-nightly-java / testJava (AwsCryptographicMaterialProviders, ubuntu-latest)
30s
dafny-nightly-net / testDotNet (AwsCryptographyPrimitives, 6.0.x, macos-latest)
39s
dafny-nightly-java / testJava (AwsCryptographicMaterialProviders, macos-latest)
37s
dafny-nightly-net / testDotNet (ComAmazonawsKms, 6.0.x, windows-latest)
38s
dafny-nightly-java / testJava (TestVectorsAwsCryptographicMaterialProviders, ubuntu-latest)
36s
dafny-nightly-net / testDotNet (ComAmazonawsKms, 6.0.x, ubuntu-latest)
52s
dafny-nightly-java / testJava (TestVectorsAwsCryptographicMaterialProviders, macos-latest)
29s
dafny-nightly-net / testDotNet (ComAmazonawsKms, 6.0.x, macos-latest)
43s
dafny-nightly-java / testJava (StandardLibrary, ubuntu-latest)
46s
dafny-nightly-net / testDotNet (ComAmazonawsDynamodb, 6.0.x, windows-latest)
39s
dafny-nightly-java / testJava (StandardLibrary, macos-latest)
30s
dafny-nightly-net / testDotNet (ComAmazonawsDynamodb, 6.0.x, ubuntu-latest)
49s
dafny-nightly-net / testDotNet (ComAmazonawsDynamodb, 6.0.x, macos-latest)
44s
dafny-nightly-net / testDotNet (AwsCryptographicMaterialProviders, 6.0.x, windows-latest)
42s
dafny-nightly-net / testDotNet (AwsCryptographicMaterialProviders, 6.0.x, ubuntu-latest)
46s
dafny-nightly-net / testDotNet (AwsCryptographicMaterialProviders, 6.0.x, macos-latest)
43s
dafny-nightly-net / testDotNet (TestVectorsAwsCryptographicMaterialProviders, 6.0.x, windows-latest)
40s
dafny-nightly-net / testDotNet (TestVectorsAwsCryptographicMaterialProviders, 6.0.x, ubuntu-latest)
35s
dafny-nightly-net / testDotNet (TestVectorsAwsCryptographicMaterialProviders, 6.0.x, macos-latest)
37s
41m 59s