Skip to content
Dafny Nightly

Dafny Nightly #115

Sign in to view logs

Dafny Nightly

Dafny Nightly #115

Run time

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