Skip to content
PR CI

chore(dafny): more using uint64 instead of nat #5077

Sign in to view logs

chore(dafny): more using uint64 instead of nat

chore(dafny): more using uint64 instead of nat #5077

Run time

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