Dafny Nightly #91

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
dafny-nightly-format / verification (TestVectorsAwsCryptographicMaterialProviders, macos-latest-large)	1m 18s
dafny-nightly-verification / verification (TestVectorsAwsCryptographicMaterialProviders, macos-latest-large)	1m 17s
dafny-nightly-format / verification (AwsCryptographyPrimitives, macos-latest-large)	1m 18s
dafny-nightly-verification / verification (AwsCryptographyPrimitives, macos-latest-large)	1m 20s
dafny-nightly-java / testJava (AwsCryptographyPrimitives, ubuntu-latest)	45s
dafny-nightly-format / verification (ComAmazonawsKms, macos-latest-large)	54s
dafny-nightly-net / testDotNet (StandardLibrary, 6.0.x, windows-latest)	42s
dafny-nightly-verification / verification (ComAmazonawsKms, macos-latest-large)	41s
dafny-nightly-java / testJava (AwsCryptographyPrimitives, macos-latest)	43s
dafny-nightly-format / verification (ComAmazonawsDynamodb, macos-latest-large)	54s
dafny-nightly-net / testDotNet (StandardLibrary, 6.0.x, ubuntu-latest)	54s
dafny-nightly-verification / verification (ComAmazonawsDynamodb, macos-latest-large)	42s
dafny-nightly-java / testJava (ComAmazonawsKms, ubuntu-latest)	47s
dafny-nightly-format / verification (AwsCryptographicMaterialProviders, macos-latest-large)	1m 37s
dafny-nightly-verification / verification (AwsCryptographicMaterialProviders, macos-latest-large)	1m 35s
dafny-nightly-java / testJava (ComAmazonawsKms, macos-latest)	34s
dafny-nightly-net / testDotNet (StandardLibrary, 6.0.x, macos-latest)	42s
dafny-nightly-format / verification (StandardLibrary, macos-latest-large)	1m 37s
dafny-nightly-verification / verification (StandardLibrary, macos-latest-large)	1m 36s
dafny-nightly-java / testJava (ComAmazonawsDynamodb, ubuntu-latest)	47s
dafny-nightly-net / testDotNet (AwsCryptographyPrimitives, 6.0.x, windows-latest)	43s
dafny-nightly-java / testJava (ComAmazonawsDynamodb, macos-latest)	44s
dafny-nightly-net / testDotNet (AwsCryptographyPrimitives, 6.0.x, ubuntu-latest)	50s
dafny-nightly-java / testJava (AwsCryptographicMaterialProviders, ubuntu-latest)	34s
dafny-nightly-net / testDotNet (AwsCryptographyPrimitives, 6.0.x, macos-latest)	43s
dafny-nightly-java / testJava (AwsCryptographicMaterialProviders, macos-latest)	32s
dafny-nightly-net / testDotNet (ComAmazonawsKms, 6.0.x, windows-latest)	45s
dafny-nightly-java / testJava (TestVectorsAwsCryptographicMaterialProviders, ubuntu-latest)	29s
dafny-nightly-net / testDotNet (ComAmazonawsKms, 6.0.x, ubuntu-latest)	43s
dafny-nightly-java / testJava (TestVectorsAwsCryptographicMaterialProviders, macos-latest)	32s
dafny-nightly-net / testDotNet (ComAmazonawsKms, 6.0.x, macos-latest)	42s
dafny-nightly-java / testJava (StandardLibrary, ubuntu-latest)	47s
dafny-nightly-net / testDotNet (ComAmazonawsDynamodb, 6.0.x, windows-latest)	44s
dafny-nightly-net / testDotNet (ComAmazonawsDynamodb, 6.0.x, ubuntu-latest)	52s
dafny-nightly-java / testJava (StandardLibrary, macos-latest)	42s
dafny-nightly-net / testDotNet (ComAmazonawsDynamodb, 6.0.x, macos-latest)	52s
dafny-nightly-net / testDotNet (AwsCryptographicMaterialProviders, 6.0.x, windows-latest)	43s
dafny-nightly-net / testDotNet (AwsCryptographicMaterialProviders, 6.0.x, ubuntu-latest)	38s
dafny-nightly-net / testDotNet (AwsCryptographicMaterialProviders, 6.0.x, macos-latest)	46s
dafny-nightly-net / testDotNet (TestVectorsAwsCryptographicMaterialProviders, 6.0.x, windows-latest)	43s
dafny-nightly-net / testDotNet (TestVectorsAwsCryptographicMaterialProviders, 6.0.x, ubuntu-latest)	43s
dafny-nightly-net / testDotNet (TestVectorsAwsCryptographicMaterialProviders, 6.0.x, macos-latest)	43s
	36m 13s

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Dafny Nightly #91

Usage

Dafny Nightly #91

Jobs

Run details

Run time