Skip to content
PR CI

fix(.NET): Improve Collection of Errors string #3676

Sign in to view logs

fix(.NET): Improve Collection of Errors string

fix(.NET): Improve Collection of Errors string #3676

Run time

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