PR CI

chore: Check that DafnyRuntimePython version matches project.properties dafnyVersion #3604

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
getVersion / getDafnyVersion	6s
getVersion / getDafnyVersion	6s
getVerifyVersion / getDafnyVerifyVersion	6s
getVerifyVersion / getDafnyVerifyVersion	6s
pr-ci-verification / verification (TestVectorsAwsCryptographicMaterialProviders, macos-latest-large)	2m 48s
pr-ci-verification / verification (TestVectorsAwsCryptographicMaterialProviders, macos-latest-large)	2m 48s
pr-ci-verification / verification (AwsCryptographyPrimitives, macos-latest-large)	1m 38s
pr-ci-verification / verification (AwsCryptographyPrimitives, macos-latest-large)	1m 38s
pr-ci-verification / verification (ComAmazonawsKms, macos-latest-large)	41s
pr-ci-verification / verification (ComAmazonawsKms, macos-latest-large)	41s
pr-ci-verification / verification (ComAmazonawsDynamodb, macos-latest-large)	41s
pr-ci-verification / verification (ComAmazonawsDynamodb, macos-latest-large)	41s
pr-ci-verification / verification (AwsCryptographicMaterialProviders, macos-latest-large)	10m 39s
pr-ci-verification / verification (AwsCryptographicMaterialProviders, macos-latest-large)	10m 39s
pr-ci-verification / verification (StandardLibrary, macos-latest-large)	1m 4s
pr-ci-verification / verification (StandardLibrary, macos-latest-large)	1m 4s
pr-ci-codegen / code-generation (TestVectorsAwsCryptographicMaterialProviders, 6.0.x, 3.11, ubuntu-latest)	11m 46s
pr-ci-codegen / code-generation (TestVectorsAwsCryptographicMaterialProviders, 6.0.x, 3.11, ubuntu-latest)	11m 46s
pr-ci-codegen / code-generation (AwsCryptographyPrimitives, 6.0.x, 3.11, ubuntu-latest)	5m 20s
pr-ci-codegen / code-generation (AwsCryptographyPrimitives, 6.0.x, 3.11, ubuntu-latest)	5m 20s
pr-ci-format / format_java_misc	13s
pr-ci-format / format_java_misc	13s
pr-ci-codegen / code-generation (ComAmazonawsKms, 6.0.x, 3.11, ubuntu-latest)	4m 36s
pr-ci-codegen / code-generation (ComAmazonawsKms, 6.0.x, 3.11, ubuntu-latest)	4m 36s
pr-ci-format / format_projects (AwsCryptographyPrimitives, ubuntu-latest)	30s
pr-ci-format / format_projects (AwsCryptographyPrimitives, ubuntu-latest)	30s
pr-ci-codegen / code-generation (ComAmazonawsDynamodb, 6.0.x, 3.11, ubuntu-latest)	5m 56s
pr-ci-codegen / code-generation (ComAmazonawsDynamodb, 6.0.x, 3.11, ubuntu-latest)	5m 56s
pr-ci-format / format_projects (ComAmazonawsKms, ubuntu-latest)	36s
pr-ci-format / format_projects (ComAmazonawsKms, ubuntu-latest)	36s
pr-ci-codegen / code-generation (AwsCryptographicMaterialProviders, 6.0.x, 3.11, ubuntu-latest)	8m 34s
pr-ci-codegen / code-generation (AwsCryptographicMaterialProviders, 6.0.x, 3.11, ubuntu-latest)	8m 34s
pr-ci-format / format_projects (ComAmazonawsDynamodb, ubuntu-latest)	36s
pr-ci-format / format_projects (ComAmazonawsDynamodb, ubuntu-latest)	36s
pr-ci-go / testGo (StandardLibrary, 1.23, ubuntu-latest)	3m 13s
pr-ci-go / testGo (StandardLibrary, 1.23, ubuntu-latest)	3m 13s
pr-ci-java / testJava (AwsCryptographyPrimitives, ubuntu-latest)	2m 31s
pr-ci-java / testJava (AwsCryptographyPrimitives, ubuntu-latest)	2m 31s
pr-ci-codegen / code-generation (StandardLibrary, 6.0.x, 3.11, ubuntu-latest)	4m 34s
pr-ci-codegen / code-generation (StandardLibrary, 6.0.x, 3.11, ubuntu-latest)	4m 34s
pr-ci-format / format_projects (AwsCryptographicMaterialProviders, ubuntu-latest)	1m 3s
pr-ci-format / format_projects (AwsCryptographicMaterialProviders, ubuntu-latest)	1m 3s
pr-ci-go / testGo (StandardLibrary, 1.23, macos-13)	5m 16s
pr-ci-go / testGo (StandardLibrary, 1.23, macos-13)	5m 16s
pr-ci-java / testJava (AwsCryptographyPrimitives, macos-13)	3m 41s
pr-ci-java / testJava (AwsCryptographyPrimitives, macos-13)	3m 41s
pr-ci-go / testGo (ComAmazonawsKms, 1.23, ubuntu-latest)	56s
pr-ci-go / testGo (ComAmazonawsKms, 1.23, ubuntu-latest)	56s
pr-ci-format / format_projects (TestVectorsAwsCryptographicMaterialProviders, ubuntu-latest)	57s
pr-ci-format / format_projects (TestVectorsAwsCryptographicMaterialProviders, ubuntu-latest)	57s
pr-ci-java / testJava (ComAmazonawsKms, ubuntu-latest)	2m 53s
pr-ci-java / testJava (ComAmazonawsKms, ubuntu-latest)	2m 53s
pr-ci-go / testGo (ComAmazonawsKms, 1.23, macos-13)	1m 36s
pr-ci-go / testGo (ComAmazonawsKms, 1.23, macos-13)	1m 36s
pr-ci-format / format_projects (StandardLibrary, ubuntu-latest)	20s
pr-ci-format / format_projects (StandardLibrary, ubuntu-latest)	20s
pr-ci-java / testJava (ComAmazonawsKms, macos-13)	4m 22s
pr-ci-java / testJava (ComAmazonawsKms, macos-13)	4m 22s
pr-ci-go / testGo (ComAmazonawsDynamodb, 1.23, ubuntu-latest)	1m 2s
pr-ci-go / testGo (ComAmazonawsDynamodb, 1.23, ubuntu-latest)	1m 2s
pr-ci-net / testDotNet (StandardLibrary, 6.0.x, windows-latest)	1m 52s
pr-ci-net / testDotNet (StandardLibrary, 6.0.x, windows-latest)	1m 52s
pr-ci-java / testJava (ComAmazonawsDynamodb, ubuntu-latest)	3m 8s
pr-ci-java / testJava (ComAmazonawsDynamodb, ubuntu-latest)	3m 8s
pr-ci-go / testGo (ComAmazonawsDynamodb, 1.23, macos-13)	1m 51s
pr-ci-go / testGo (ComAmazonawsDynamodb, 1.23, macos-13)	1m 51s
pr-ci-net / testDotNet (StandardLibrary, 6.0.x, ubuntu-latest)	37s
pr-ci-net / testDotNet (StandardLibrary, 6.0.x, ubuntu-latest)	37s
pr-ci-java / testJava (ComAmazonawsDynamodb, macos-13)	5m 14s
pr-ci-java / testJava (ComAmazonawsDynamodb, macos-13)	5m 14s
pr-ci-go / testGo (AwsCryptographyPrimitives, 1.23, ubuntu-latest)	53s
pr-ci-go / testGo (AwsCryptographyPrimitives, 1.23, ubuntu-latest)	53s
pr-ci-net / testDotNet (StandardLibrary, 6.0.x, macos-13)	59s
pr-ci-net / testDotNet (StandardLibrary, 6.0.x, macos-13)	59s
pr-ci-java / testJava (AwsCryptographicMaterialProviders, ubuntu-latest)	6m 59s
pr-ci-java / testJava (AwsCryptographicMaterialProviders, ubuntu-latest)	6m 59s
pr-ci-python / testPython (StandardLibrary, 3.11, ubuntu-latest)	1m 41s
pr-ci-python / testPython (StandardLibrary, 3.11, ubuntu-latest)	1m 41s
pr-ci-go / testGo (AwsCryptographyPrimitives, 1.23, macos-13)	1m 7s
pr-ci-go / testGo (AwsCryptographyPrimitives, 1.23, macos-13)	1m 7s
pr-ci-net / testDotNet (AwsCryptographyPrimitives, 6.0.x, windows-latest)	1m 54s
pr-ci-net / testDotNet (AwsCryptographyPrimitives, 6.0.x, windows-latest)	1m 54s
pr-ci-java / testJava (AwsCryptographicMaterialProviders, macos-13)	12m 13s
pr-ci-java / testJava (AwsCryptographicMaterialProviders, macos-13)	12m 13s
pr-ci-python / testPython (StandardLibrary, 3.11, macos-13)	9m 45s
pr-ci-python / testPython (StandardLibrary, 3.11, macos-13)	9m 45s
pr-ci-net / testDotNet (AwsCryptographyPrimitives, 6.0.x, ubuntu-latest)	43s
pr-ci-net / testDotNet (AwsCryptographyPrimitives, 6.0.x, ubuntu-latest)	43s
pr-ci-python / testPython (StandardLibrary, 3.13, ubuntu-latest)	2m 2s
pr-ci-python / testPython (StandardLibrary, 3.13, ubuntu-latest)	2m 2s
pr-ci-java / testJava (TestVectorsAwsCryptographicMaterialProviders, ubuntu-latest)	9m 55s
pr-ci-java / testJava (TestVectorsAwsCryptographicMaterialProviders, ubuntu-latest)	9m 55s
pr-ci-net / testDotNet (AwsCryptographyPrimitives, 6.0.x, macos-13)	1m 14s
pr-ci-net / testDotNet (AwsCryptographyPrimitives, 6.0.x, macos-13)	1m 14s
pr-ci-python / testPython (StandardLibrary, 3.13, macos-13)	7m 9s
pr-ci-python / testPython (StandardLibrary, 3.13, macos-13)	7m 9s
pr-ci-java / testJava (TestVectorsAwsCryptographicMaterialProviders, macos-13)	6m 55s
pr-ci-java / testJava (TestVectorsAwsCryptographicMaterialProviders, macos-13)	10m 21s
pr-ci-net / testDotNet (ComAmazonawsKms, 6.0.x, windows-latest)	3m 7s
pr-ci-net / testDotNet (ComAmazonawsKms, 6.0.x, windows-latest)	3m 7s
pr-ci-rust / testRust (StandardLibrary, ubuntu-latest)	4m 1s
pr-ci-rust / testRust (StandardLibrary, ubuntu-latest)	4m 1s
pr-ci-python / testPython (AwsCryptographyPrimitives, 3.11, ubuntu-latest)	56s
pr-ci-python / testPython (AwsCryptographyPrimitives, 3.11, ubuntu-latest)	56s
pr-ci-java / testJava (StandardLibrary, ubuntu-latest)	2m 33s
pr-ci-java / testJava (StandardLibrary, ubuntu-latest)	2m 33s
pr-ci-rust / testRust (StandardLibrary, macos-13)	5m 56s
pr-ci-rust / testRust (StandardLibrary, macos-13)	5m 56s
pr-ci-net / testDotNet (ComAmazonawsKms, 6.0.x, ubuntu-latest)	45s
pr-ci-net / testDotNet (ComAmazonawsKms, 6.0.x, ubuntu-latest)	45s
pr-ci-rust / testRust (ComAmazonawsDynamodb, ubuntu-latest)	7m 26s
pr-ci-rust / testRust (ComAmazonawsDynamodb, ubuntu-latest)	7m 26s
pr-ci-net / testDotNet (ComAmazonawsKms, 6.0.x, macos-13)	1m 9s
pr-ci-net / testDotNet (ComAmazonawsKms, 6.0.x, macos-13)	1m 9s
pr-ci-python / testPython (AwsCryptographyPrimitives, 3.11, macos-13)	2m 11s
pr-ci-python / testPython (AwsCryptographyPrimitives, 3.11, macos-13)	2m 11s
pr-ci-rust / testRust (ComAmazonawsDynamodb, macos-13)	13m 9s
pr-ci-rust / testRust (ComAmazonawsDynamodb, macos-13)	13m 9s
pr-ci-java / testJava (StandardLibrary, macos-13)	2m 58s
pr-ci-java / testJava (StandardLibrary, macos-13)	2m 58s
pr-ci-net / testDotNet (ComAmazonawsDynamodb, 6.0.x, windows-latest)	2m 57s
pr-ci-net / testDotNet (ComAmazonawsDynamodb, 6.0.x, windows-latest)	2m 57s
pr-ci-python / testPython (AwsCryptographyPrimitives, 3.13, ubuntu-latest)	1m 7s
pr-ci-python / testPython (AwsCryptographyPrimitives, 3.13, ubuntu-latest)	1m 7s
pr-ci-rust / testRust (ComAmazonawsKms, ubuntu-latest)	7m 5s
pr-ci-rust / testRust (ComAmazonawsKms, ubuntu-latest)	7m 5s
pr-ci-python / testPython (AwsCryptographyPrimitives, 3.13, macos-13)	3m 53s
pr-ci-python / testPython (AwsCryptographyPrimitives, 3.13, macos-13)	3m 53s
pr-ci-rust / testRust (ComAmazonawsKms, macos-13)	10m 10s
pr-ci-rust / testRust (ComAmazonawsKms, macos-13)	10m 10s
pr-ci-net / testDotNet (ComAmazonawsDynamodb, 6.0.x, ubuntu-latest)	53s
pr-ci-net / testDotNet (ComAmazonawsDynamodb, 6.0.x, ubuntu-latest)	53s
pr-ci-python / testPython (ComAmazonawsKms, 3.11, ubuntu-latest)	50s
pr-ci-python / testPython (ComAmazonawsKms, 3.11, ubuntu-latest)	50s
pr-ci-rust / testRust (AwsCryptographyPrimitives, ubuntu-latest)	7m 16s
pr-ci-rust / testRust (AwsCryptographyPrimitives, ubuntu-latest)	7m 16s
pr-ci-net / testDotNet (ComAmazonawsDynamodb, 6.0.x, macos-13)	2m 5s
pr-ci-net / testDotNet (ComAmazonawsDynamodb, 6.0.x, macos-13)	2m 5s
pr-ci-rust / testRust (AwsCryptographyPrimitives, macos-13)	11m 3s
pr-ci-rust / testRust (AwsCryptographyPrimitives, macos-13)	11m 3s
pr-ci-python / testPython (ComAmazonawsKms, 3.11, macos-13)	2m 59s
pr-ci-python / testPython (ComAmazonawsKms, 3.11, macos-13)	2m 59s
pr-ci-net / testDotNet (AwsCryptographicMaterialProviders, 6.0.x, windows-latest)	4m 48s
pr-ci-net / testDotNet (AwsCryptographicMaterialProviders, 6.0.x, windows-latest)	4m 48s
pr-interop-test / generateEncryptVectors (TestVectorsAwsCryptographicMaterialProviders, ubuntu-latest, java, 6.0.x)	4m 34s
pr-interop-test / generateEncryptVectors (TestVectorsAwsCryptographicMaterialProviders, ubuntu-latest, java, 6.0.x)	4m 34s
pr-ci-net / testDotNet (AwsCryptographicMaterialProviders, 6.0.x, ubuntu-latest)	3m 1s
pr-ci-net / testDotNet (AwsCryptographicMaterialProviders, 6.0.x, ubuntu-latest)	3m 1s
pr-ci-python / testPython (ComAmazonawsKms, 3.13, ubuntu-latest)	1m 6s
pr-ci-python / testPython (ComAmazonawsKms, 3.13, ubuntu-latest)	1m 6s
pr-interop-test / generateEncryptVectors (TestVectorsAwsCryptographicMaterialProviders, ubuntu-latest, net, 6.0.x)	2m 46s
pr-interop-test / generateEncryptVectors (TestVectorsAwsCryptographicMaterialProviders, ubuntu-latest, net, 6.0.x)	2m 46s
pr-ci-net / testDotNet (AwsCryptographicMaterialProviders, 6.0.x, macos-13)	5m 53s
pr-ci-net / testDotNet (AwsCryptographicMaterialProviders, 6.0.x, macos-13)	5m 53s
pr-ci-rust / testRust (AwsCryptographicMaterialProviders, ubuntu-latest)	10m 31s
pr-ci-rust / testRust (AwsCryptographicMaterialProviders, ubuntu-latest)	10m 31s
pr-ci-python / testPython (ComAmazonawsKms, 3.13, macos-13)	2m 2s
pr-ci-python / testPython (ComAmazonawsKms, 3.13, macos-13)	2m 2s
pr-interop-test / generateEncryptVectors (TestVectorsAwsCryptographicMaterialProviders, ubuntu-latest, python, 6.0.x)	4m 50s
pr-interop-test / generateEncryptVectors (TestVectorsAwsCryptographicMaterialProviders, ubuntu-latest, python, 6.0.x)	4m 50s
pr-ci-net / testDotNet (TestVectorsAwsCryptographicMaterialProviders, 6.0.x, windows-latest)	6m 7s
pr-ci-net / testDotNet (TestVectorsAwsCryptographicMaterialProviders, 6.0.x, windows-latest)	6m 7s
pr-ci-rust / testRust (AwsCryptographicMaterialProviders, macos-13)	14m 31s
pr-ci-rust / testRust (AwsCryptographicMaterialProviders, macos-13)	14m 31s
pr-ci-python / testPython (ComAmazonawsDynamodb, 3.11, ubuntu-latest)	54s
pr-ci-python / testPython (ComAmazonawsDynamodb, 3.11, ubuntu-latest)	54s
pr-interop-test / generateEncryptVectors (TestVectorsAwsCryptographicMaterialProviders, ubuntu-latest, rust, 6.0.x)	8m 49s
pr-interop-test / generateEncryptVectors (TestVectorsAwsCryptographicMaterialProviders, ubuntu-latest, rust, 6.0.x)	8m 49s
pr-ci-rust / testRust (TestVectorsAwsCryptographicMaterialProviders, ubuntu-latest)	11m 39s
pr-ci-rust / testRust (TestVectorsAwsCryptographicMaterialProviders, ubuntu-latest)	11m 39s
pr-ci-net / testDotNet (TestVectorsAwsCryptographicMaterialProviders, 6.0.x, ubuntu-latest)	2m 22s
pr-ci-net / testDotNet (TestVectorsAwsCryptographicMaterialProviders, 6.0.x, ubuntu-latest)	2m 22s
pr-ci-python / testPython (ComAmazonawsDynamodb, 3.11, macos-13)	1m 41s
pr-ci-python / testPython (ComAmazonawsDynamodb, 3.11, macos-13)	1m 41s
pr-interop-test / generateEncryptVectors (TestVectorsAwsCryptographicMaterialProviders, macos-13, java, 6.0.x)	6m 0s
pr-interop-test / generateEncryptVectors (TestVectorsAwsCryptographicMaterialProviders, macos-13, java, 6.0.x)	6m 0s
pr-ci-rust / testRust (TestVectorsAwsCryptographicMaterialProviders, macos-13)	13m 43s
pr-ci-rust / testRust (TestVectorsAwsCryptographicMaterialProviders, macos-13)	13m 43s
pr-ci-net / testDotNet (TestVectorsAwsCryptographicMaterialProviders, 6.0.x, macos-13)	3m 6s
pr-ci-net / testDotNet (TestVectorsAwsCryptographicMaterialProviders, 6.0.x, macos-13)	3m 6s
pr-ci-python / testPython (ComAmazonawsDynamodb, 3.13, ubuntu-latest)	1m 6s
pr-ci-python / testPython (ComAmazonawsDynamodb, 3.13, ubuntu-latest)	1m 6s
pr-interop-test / generateEncryptVectors (TestVectorsAwsCryptographicMaterialProviders, macos-13, net, 6.0.x)	4m 10s
pr-interop-test / generateEncryptVectors (TestVectorsAwsCryptographicMaterialProviders, macos-13, net, 6.0.x)	4m 10s
pr-ci-python / testPython (ComAmazonawsDynamodb, 3.13, macos-13)	1m 46s
pr-ci-python / testPython (ComAmazonawsDynamodb, 3.13, macos-13)	1m 46s
pr-interop-test / generateEncryptVectors (TestVectorsAwsCryptographicMaterialProviders, macos-13, python, 6.0.x)	9m 29s
pr-interop-test / generateEncryptVectors (TestVectorsAwsCryptographicMaterialProviders, macos-13, python, 6.0.x)	9m 29s
pr-ci-python / testPython (AwsCryptographicMaterialProviders, 3.11, ubuntu-latest)	3m 16s
pr-ci-python / testPython (AwsCryptographicMaterialProviders, 3.11, ubuntu-latest)	3m 16s
pr-interop-test / generateEncryptVectors (TestVectorsAwsCryptographicMaterialProviders, macos-13, rust, 6.0.x)	13m 3s
pr-interop-test / generateEncryptVectors (TestVectorsAwsCryptographicMaterialProviders, macos-13, rust, 6.0.x)	13m 3s
pr-ci-python / testPython (AwsCryptographicMaterialProviders, 3.11, macos-13)	7m 20s
pr-ci-python / testPython (AwsCryptographicMaterialProviders, 3.11, macos-13)	7m 20s
pr-ci-python / testPython (AwsCryptographicMaterialProviders, 3.13, ubuntu-latest)	3m 36s
pr-ci-python / testPython (AwsCryptographicMaterialProviders, 3.13, ubuntu-latest)	3m 36s
pr-ci-python / testPython (AwsCryptographicMaterialProviders, 3.13, macos-13)	9m 21s
pr-ci-python / testPython (AwsCryptographicMaterialProviders, 3.13, macos-13)	9m 21s
pr-ci-python / testPython (TestVectorsAwsCryptographicMaterialProviders, 3.11, ubuntu-latest)	7m 36s
pr-ci-python / testPython (TestVectorsAwsCryptographicMaterialProviders, 3.11, ubuntu-latest)	7m 36s
pr-ci-python / testPython (TestVectorsAwsCryptographicMaterialProviders, 3.11, macos-13)	10m 15s
pr-ci-python / testPython (TestVectorsAwsCryptographicMaterialProviders, 3.11, macos-13)	10m 15s
pr-ci-python / testPython (TestVectorsAwsCryptographicMaterialProviders, 3.13, ubuntu-latest)	9m 12s
pr-ci-python / testPython (TestVectorsAwsCryptographicMaterialProviders, 3.13, ubuntu-latest)	9m 12s
pr-ci-python / testPython (TestVectorsAwsCryptographicMaterialProviders, 3.13, macos-13)	10m 48s
pr-ci-python / testPython (TestVectorsAwsCryptographicMaterialProviders, 3.13, macos-13)	10m 48s
pr-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, ubuntu-latest, java, java, 6.0.x)	5m 0s
pr-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, ubuntu-latest, java, java, 6.0.x)	5m 0s
pr-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, ubuntu-latest, java, net, 6.0.x)	2m 56s
pr-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, ubuntu-latest, java, net, 6.0.x)	2m 56s
pr-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, ubuntu-latest, java, python, 6...	4m 27s
pr-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, ubuntu-latest, java, python, 6...	4m 27s
pr-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, ubuntu-latest, java, rust, 6.0.x)	8m 3s
pr-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, ubuntu-latest, java, rust, 6.0.x)	8m 3s
pr-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, ubuntu-latest, net, java, 6.0.x)	4m 59s
pr-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, ubuntu-latest, net, java, 6.0.x)	4m 59s
pr-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, ubuntu-latest, net, net, 6.0.x)	2m 45s
pr-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, ubuntu-latest, net, net, 6.0.x)	2m 45s
pr-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, ubuntu-latest, net, python, 6....	4m 38s
pr-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, ubuntu-latest, net, python, 6....	4m 38s
pr-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, ubuntu-latest, net, rust, 6.0.x)	7m 45s
pr-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, ubuntu-latest, net, rust, 6.0.x)	7m 45s
pr-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, ubuntu-latest, python, java, 6...	4m 46s
pr-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, ubuntu-latest, python, java, 6...	4m 46s
pr-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, ubuntu-latest, python, net, 6....	2m 45s
pr-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, ubuntu-latest, python, net, 6....	2m 45s
pr-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, ubuntu-latest, python, python,...	4m 17s
pr-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, ubuntu-latest, python, python,...	4m 17s
pr-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, ubuntu-latest, python, rust, 6...	8m 21s
pr-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, ubuntu-latest, python, rust, 6...	8m 21s
pr-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, ubuntu-latest, rust, java, 6.0.x)	4m 47s
pr-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, ubuntu-latest, rust, java, 6.0.x)	4m 47s
pr-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, ubuntu-latest, rust, net, 6.0.x)	3m 0s
pr-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, ubuntu-latest, rust, net, 6.0.x)	3m 0s
pr-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, ubuntu-latest, rust, python, 6...	4m 19s
pr-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, ubuntu-latest, rust, python, 6...	4m 19s
pr-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, ubuntu-latest, rust, rust, 6.0.x)	7m 36s
pr-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, ubuntu-latest, rust, rust, 6.0.x)	7m 36s
pr-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, macos-13, java, java, 6.0.x)	5m 19s
pr-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, macos-13, java, java, 6.0.x)	5m 19s
pr-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, macos-13, java, net, 6.0.x)	3m 38s
pr-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, macos-13, java, net, 6.0.x)	3m 38s
pr-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, macos-13, java, python, 6.0.x)	6m 10s
pr-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, macos-13, java, python, 6.0.x)	6m 10s
pr-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, macos-13, java, rust, 6.0.x)	12m 39s
pr-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, macos-13, java, rust, 6.0.x)	12m 39s
pr-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, macos-13, net, java, 6.0.x)	7m 37s
pr-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, macos-13, net, java, 6.0.x)	7m 37s
pr-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, macos-13, net, net, 6.0.x)	3m 52s
pr-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, macos-13, net, net, 6.0.x)	3m 52s
pr-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, macos-13, net, python, 6.0.x)	5m 51s
pr-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, macos-13, net, python, 6.0.x)	5m 51s
pr-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, macos-13, net, rust, 6.0.x)	11m 8s
pr-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, macos-13, net, rust, 6.0.x)	11m 8s
pr-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, macos-13, python, java, 6.0.x)	7m 24s
pr-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, macos-13, python, java, 6.0.x)	7m 24s
pr-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, macos-13, python, net, 6.0.x)	3m 18s
pr-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, macos-13, python, net, 6.0.x)	3m 18s
pr-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, macos-13, python, python, 6.0.x)	5m 0s
pr-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, macos-13, python, python, 6.0.x)	5m 0s
pr-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, macos-13, python, rust, 6.0.x)	15m 7s
pr-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, macos-13, python, rust, 6.0.x)	15m 7s
pr-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, macos-13, rust, java, 6.0.x)	6m 48s
pr-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, macos-13, rust, java, 6.0.x)	6m 48s
pr-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, macos-13, rust, net, 6.0.x)	4m 2s
pr-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, macos-13, rust, net, 6.0.x)	4m 2s
pr-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, macos-13, rust, python, 6.0.x)	5m 54s
pr-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, macos-13, rust, python, 6.0.x)	5m 54s
pr-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, macos-13, rust, rust, 6.0.x)	19m 28s
pr-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, macos-13, rust, rust, 6.0.x)	19m 28s
pr-ci-all-required	2s
pr-ci-all-required	2s
	22h 7m 18s

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

chore: Check that DafnyRuntimePython version matches project.properties dafnyVersion #3604

Usage

chore: Check that DafnyRuntimePython version matches project.properties dafnyVersion #3604

Jobs

Run details

Run time