Skip to content
Dafny Nightly

Dafny Nightly #126

Sign in to view logs

Dafny Nightly

Dafny Nightly #126

Run time

Learn about OS pricing on GitHub Actions
Job Run time
dafny-nightly-format / verification (TestVectorsAwsCryptographicMaterialProviders, macos-latest-large)
1m 17s
dafny-nightly-verification / verification (TestVectorsAwsCryptographicMaterialProviders, macos-latest-large)
1m 14s
dafny-nightly-format / verification (AwsCryptographyPrimitives, macos-latest-large)
1m 19s
dafny-nightly-java / testJava (AwsCryptographyPrimitives, ubuntu-latest)
40s
dafny-nightly-verification / verification (AwsCryptographyPrimitives, macos-latest-large)
1m 18s
dafny-nightly-net / testDotNet (StandardLibrary, 6.0.x, windows-latest)
31s
dafny-nightly-format / verification (ComAmazonawsKms, macos-latest-large)
39s
dafny-nightly-java / testJava (AwsCryptographyPrimitives, macos-latest)
28s
dafny-nightly-verification / verification (ComAmazonawsKms, macos-latest-large)
37s
dafny-nightly-net / testDotNet (StandardLibrary, 6.0.x, ubuntu-latest)
30s
dafny-nightly-format / verification (ComAmazonawsDynamodb, macos-latest-large)
41s
dafny-nightly-java / testJava (ComAmazonawsKms, ubuntu-latest)
27s
dafny-nightly-verification / verification (ComAmazonawsDynamodb, macos-latest-large)
41s
dafny-nightly-format / verification (AwsCryptographicMaterialProviders, macos-latest-large)
1m 46s
dafny-nightly-net / testDotNet (StandardLibrary, 6.0.x, macos-latest)
27s
dafny-nightly-java / testJava (ComAmazonawsKms, macos-latest)
24s
dafny-nightly-verification / verification (AwsCryptographicMaterialProviders, macos-latest-large)
1m 35s
dafny-nightly-format / verification (StandardLibrary, macos-latest-large)
1m 34s
dafny-nightly-net / testDotNet (AwsCryptographyPrimitives, 6.0.x, windows-latest)
28s
dafny-nightly-java / testJava (ComAmazonawsDynamodb, ubuntu-latest)
42s
dafny-nightly-verification / verification (StandardLibrary, macos-latest-large)
1m 34s
dafny-nightly-net / testDotNet (AwsCryptographyPrimitives, 6.0.x, ubuntu-latest)
33s
dafny-nightly-java / testJava (ComAmazonawsDynamodb, macos-latest)
25s
dafny-nightly-net / testDotNet (AwsCryptographyPrimitives, 6.0.x, macos-latest)
30s
dafny-nightly-java / testJava (AwsCryptographicMaterialProviders, ubuntu-latest)
23s
dafny-nightly-net / testDotNet (ComAmazonawsKms, 6.0.x, windows-latest)
28s
dafny-nightly-java / testJava (AwsCryptographicMaterialProviders, macos-latest)
29s
dafny-nightly-net / testDotNet (ComAmazonawsKms, 6.0.x, ubuntu-latest)
36s
dafny-nightly-java / testJava (TestVectorsAwsCryptographicMaterialProviders, ubuntu-latest)
29s
dafny-nightly-net / testDotNet (ComAmazonawsKms, 6.0.x, macos-latest)
31s
dafny-nightly-java / testJava (TestVectorsAwsCryptographicMaterialProviders, macos-latest)
27s
dafny-nightly-net / testDotNet (ComAmazonawsDynamodb, 6.0.x, windows-latest)
28s
dafny-nightly-java / testJava (StandardLibrary, ubuntu-latest)
40s
dafny-nightly-net / testDotNet (ComAmazonawsDynamodb, 6.0.x, ubuntu-latest)
43s
dafny-nightly-java / testJava (StandardLibrary, macos-latest)
25s
dafny-nightly-net / testDotNet (ComAmazonawsDynamodb, 6.0.x, macos-latest)
30s
dafny-nightly-net / testDotNet (AwsCryptographicMaterialProviders, 6.0.x, windows-latest)
32s
dafny-nightly-net / testDotNet (AwsCryptographicMaterialProviders, 6.0.x, ubuntu-latest)
27s
dafny-nightly-net / testDotNet (AwsCryptographicMaterialProviders, 6.0.x, macos-latest)
25s
dafny-nightly-net / testDotNet (TestVectorsAwsCryptographicMaterialProviders, 6.0.x, windows-latest)
26s
dafny-nightly-net / testDotNet (TestVectorsAwsCryptographicMaterialProviders, 6.0.x, ubuntu-latest)
32s
dafny-nightly-net / testDotNet (TestVectorsAwsCryptographicMaterialProviders, 6.0.x, macos-latest)
27s
29m 18s