Skip to content
Dafny Nightly

Dafny Nightly #192

Sign in to view logs

Dafny Nightly

Dafny Nightly #192

Run time

Learn about OS pricing on GitHub Actions
Job Run time
dafny-nightly-format / format_java_misc
12s
dafny-nightly-format / format_projects (AwsCryptographyPrimitives, ubuntu-latest)
30s
dafny-nightly-java / testJava (AwsCryptographyPrimitives, ubuntu-latest)
21s
dafny-nightly-format / format_projects (ComAmazonawsKms, ubuntu-latest)
39s
dafny-nightly-net / testDotNet (StandardLibrary, 6.0.x, windows-latest)
24s
dafny-nightly-java / testJava (AwsCryptographyPrimitives, macos-latest)
20s
dafny-nightly-format / format_projects (ComAmazonawsDynamodb, ubuntu-latest)
41s
dafny-nightly-verification / verification (TestVectorsAwsCryptographicMaterialProviders, macos-latest-large)
32s
dafny-nightly-net / testDotNet (StandardLibrary, 6.0.x, ubuntu-latest)
17s
dafny-nightly-java / testJava (ComAmazonawsKms, ubuntu-latest)
20s
dafny-nightly-format / format_projects (AwsCryptographicMaterialProviders, ubuntu-latest)
52s
dafny-nightly-verification / verification (AwsCryptographyPrimitives, macos-latest-large)
51s
dafny-nightly-net / testDotNet (StandardLibrary, 6.0.x, macos-latest)
22s
dafny-nightly-java / testJava (ComAmazonawsKms, macos-latest)
19s
dafny-nightly-format / format_projects (TestVectorsAwsCryptographicMaterialProviders, ubuntu-latest)
58s
dafny-nightly-verification / verification (ComAmazonawsKms, macos-latest-large)
34s
dafny-nightly-net / testDotNet (AwsCryptographyPrimitives, 6.0.x, windows-latest)
24s
dafny-nightly-java / testJava (ComAmazonawsDynamodb, ubuntu-latest)
16s
dafny-nightly-format / format_projects (StandardLibrary, ubuntu-latest)
34s
dafny-nightly-verification / verification (ComAmazonawsDynamodb, macos-latest-large)
34s
dafny-nightly-net / testDotNet (AwsCryptographyPrimitives, 6.0.x, ubuntu-latest)
21s
dafny-nightly-java / testJava (ComAmazonawsDynamodb, macos-latest)
19s
dafny-nightly-verification / verification (AwsCryptographicMaterialProviders, macos-latest-large)
52s
dafny-nightly-net / testDotNet (AwsCryptographyPrimitives, 6.0.x, macos-latest)
24s
dafny-nightly-java / testJava (AwsCryptographicMaterialProviders, ubuntu-latest)
17s
dafny-nightly-java / testJava (AwsCryptographicMaterialProviders, macos-latest)
21s
dafny-nightly-net / testDotNet (ComAmazonawsKms, 6.0.x, windows-latest)
23s
dafny-nightly-java / testJava (TestVectorsAwsCryptographicMaterialProviders, ubuntu-latest)
32s
dafny-nightly-verification / verification (StandardLibrary, macos-latest-large)
39s
dafny-nightly-net / testDotNet (ComAmazonawsKms, 6.0.x, ubuntu-latest)
18s
dafny-nightly-java / testJava (TestVectorsAwsCryptographicMaterialProviders, macos-latest)
20s
dafny-nightly-net / testDotNet (ComAmazonawsKms, 6.0.x, macos-latest)
23s
dafny-nightly-java / testJava (StandardLibrary, ubuntu-latest)
19s
dafny-nightly-net / testDotNet (ComAmazonawsDynamodb, 6.0.x, windows-latest)
24s
dafny-nightly-java / testJava (StandardLibrary, macos-latest)
19s
dafny-nightly-net / testDotNet (ComAmazonawsDynamodb, 6.0.x, ubuntu-latest)
25s
dafny-nightly-net / testDotNet (ComAmazonawsDynamodb, 6.0.x, macos-latest)
22s
dafny-nightly-net / testDotNet (AwsCryptographicMaterialProviders, 6.0.x, windows-latest)
24s
dafny-nightly-net / testDotNet (AwsCryptographicMaterialProviders, 6.0.x, ubuntu-latest)
24s
dafny-nightly-net / testDotNet (AwsCryptographicMaterialProviders, 6.0.x, macos-latest)
24s
dafny-nightly-net / testDotNet (TestVectorsAwsCryptographicMaterialProviders, 6.0.x, windows-latest)
22s
dafny-nightly-net / testDotNet (TestVectorsAwsCryptographicMaterialProviders, 6.0.x, ubuntu-latest)
30s
dafny-nightly-net / testDotNet (TestVectorsAwsCryptographicMaterialProviders, 6.0.x, macos-latest)
21s
19m 23s