cannot use Aws_cryptography_materialProviders_UpdateUsageMetadataInput_bytesUsed_ToDafny(nativeInput.BytesUsed) (value of type int32) as int64 value in argument to AwsCryptographyMaterialProvidersTypes.Companion_UpdateUsageMetadataInput_.Create_UpdateUsageMetadataInput_

pr-ci-go / testGo (AwsCryptographicMaterialProviders, 1.23, ubuntu-22.04)

Process completed with exit code 1.

pr-ci-java / testJava (AwsCryptographicMaterialProviders, ubuntu-22.04, 8)

Process completed with exit code 2.

pr-ci-go / testGo (TestVectorsAwsCryptographicMaterialProviders, 1.23, ubuntu-22.04)

Process completed with exit code 2.

pr-ci-java / testJava (AwsCryptographicMaterialProviders, ubuntu-22.04, 11)

Process completed with exit code 2.

pr-ci-java / testJava (AwsCryptographicMaterialProviders, ubuntu-22.04, 16)

Process completed with exit code 2.

pr-ci-java / testJava (AwsCryptographicMaterialProviders, ubuntu-22.04, 17)

Process completed with exit code 2.

pr-interop-test / generateEncryptVectors (TestVectorsAwsCryptographicMaterialProviders, ubuntu-22.04, go, 6.0.x)

Process completed with exit code 2.

pr-interop-test / generateEncryptVectors (TestVectorsAwsCryptographicMaterialProviders, macos-13, rust, 6.0.x)

The job was canceled because "TestVectorsAwsCryptogra_5" failed.

pr-interop-test / generateEncryptVectors (TestVectorsAwsCryptographicMaterialProviders, ubuntu-22.04, net, 6.0.x)

The job was canceled because "TestVectorsAwsCryptogra_5" failed.

pr-interop-test / generateEncryptVectors (TestVectorsAwsCryptographicMaterialProviders, ubuntu-22.04, net, 6.0.x): AwsCryptographicMaterialProviders/runtimes/net/Generated/AwsCryptographicMaterialProviders/TypeConversion.cs#L756

Argument 1: cannot convert from 'long' to 'int'

Argument 1: cannot convert from 'Wrappers_Compile._IOption<long>' to 'Wrappers_Compile._IOption<int>'

Cannot implicitly convert type 'long' to 'int?'

Argument 6: cannot convert from 'Wrappers_Compile._IOption<int>' to 'Wrappers_Compile._IOption<long>'

Argument 1: cannot convert from 'long' to 'int'

'TypeConversion' does not contain a definition for 'ToDafny_N3_aws__N12_cryptography__N17_materialProviders__S21_CreateCachingCMMInput'

'TypeConversion' does not contain a definition for 'FromDafny_N3_aws__N12_cryptography__N17_materialProviders__S22_CreateCachingCMMOutput'

Argument 1: cannot convert from 'long' to 'int'

pr-ci-net / testDotNet (AwsCryptographicMaterialProviders, 6.0.x, windows-latest): AwsCryptographicMaterialProviders/runtimes/net/Generated/AwsCryptographicMaterialProviders/TypeConversion.cs#L756

Argument 1: cannot convert from 'long' to 'int'

Argument 1: cannot convert from 'Wrappers_Compile._IOption<long>' to 'Wrappers_Compile._IOption<int>'

Cannot implicitly convert type 'long' to 'int?'

Argument 6: cannot convert from 'Wrappers_Compile._IOption<int>' to 'Wrappers_Compile._IOption<long>'

Argument 1: cannot convert from 'long' to 'int'

'TypeConversion' does not contain a definition for 'ToDafny_N3_aws__N12_cryptography__N17_materialProviders__S21_CreateCachingCMMInput'

'TypeConversion' does not contain a definition for 'FromDafny_N3_aws__N12_cryptography__N17_materialProviders__S22_CreateCachingCMMOutput'

pr-ci-net / testDotNet (AwsCryptographicMaterialProviders, 6.0.x, windows-latest)

Process completed with exit code 2.

pr-interop-test / generateEncryptVectors (TestVectorsAwsCryptographicMaterialProviders, ubuntu-22.04, rust, 6.0.x)

The job was canceled because "TestVectorsAwsCryptogra_5" failed.

pr-interop-test / generateEncryptVectors (TestVectorsAwsCryptographicMaterialProviders, ubuntu-22.04, rust, 6.0.x)

The operation was canceled.

pr-ci-net / testDotNet (AwsCryptographicMaterialProviders, 6.0.x, macos-13): AwsCryptographicMaterialProviders/runtimes/net/Generated/AwsCryptographicMaterialProviders/TypeConversion.cs#L756

Argument 1: cannot convert from 'long' to 'int'

pr-ci-net / testDotNet (AwsCryptographicMaterialProviders, 6.0.x, macos-13): AwsCryptographicMaterialProviders/runtimes/net/Generated/AwsCryptographicMaterialProviders/TypeConversion.cs#L762

Argument 1: cannot convert from 'long' to 'int'

pr-ci-net / testDotNet (AwsCryptographicMaterialProviders, 6.0.x, macos-13): AwsCryptographicMaterialProviders/runtimes/net/Generated/AwsCryptographicMaterialProviders/MaterialProviders.cs#L150

'TypeConversion' does not contain a definition for 'ToDafny_N3_aws__N12_cryptography__N17_materialProviders__S21_CreateCachingCMMInput'

pr-ci-net / testDotNet (AwsCryptographicMaterialProviders, 6.0.x, macos-13): AwsCryptographicMaterialProviders/runtimes/net/Generated/AwsCryptographicMaterialProviders/MaterialProviders.cs#L153

'TypeConversion' does not contain a definition for 'FromDafny_N3_aws__N12_cryptography__N17_materialProviders__S22_CreateCachingCMMOutput'

pr-ci-net / testDotNet (AwsCryptographicMaterialProviders, 6.0.x, macos-13): AwsCryptographicMaterialProviders/runtimes/net/Generated/AwsCryptographicMaterialProviders/TypeConversion.cs#L1105

Argument 1: cannot convert from 'Wrappers_Compile._IOption<long>' to 'Wrappers_Compile._IOption<int>'

pr-ci-net / testDotNet (AwsCryptographicMaterialProviders, 6.0.x, macos-13): AwsCryptographicMaterialProviders/runtimes/net/Generated/AwsCryptographicMaterialProviders/TypeConversion.cs#L1111

Cannot implicitly convert type 'long' to 'int?'

pr-ci-net / testDotNet (AwsCryptographicMaterialProviders, 6.0.x, macos-13): AwsCryptographicMaterialProviders/runtimes/net/Generated/AwsCryptographicMaterialProviders/TypeConversion.cs#L1112

Argument 6: cannot convert from 'Wrappers_Compile._IOption<int>' to 'Wrappers_Compile._IOption<long>'

pr-ci-net / testDotNet (AwsCryptographicMaterialProviders, 6.0.x, macos-13): AwsCryptographicMaterialProviders/runtimes/net/Generated/AwsCryptographicMaterialProviders/TypeConversion.cs#L1246

Argument 1: cannot convert from 'long' to 'int'

pr-ci-net / testDotNet (AwsCryptographicMaterialProviders, 6.0.x, macos-13): AwsCryptographicMaterialProviders/runtimes/net/Generated/AwsCryptographicMaterialProviders/TypeConversion.cs#L1252

Argument 1: cannot convert from 'long' to 'int'

pr-ci-net / testDotNet (AwsCryptographicMaterialProviders, 6.0.x, macos-13)

Process completed with exit code 2.

pr-interop-test / generateEncryptVectors (TestVectorsAwsCryptographicMaterialProviders, macos-13, go, 6.0.x)

The job was canceled because "TestVectorsAwsCryptogra_5" failed.

pr-interop-test / generateEncryptVectors (TestVectorsAwsCryptographicMaterialProviders, macos-13, go, 6.0.x)

The operation was canceled.

pr-interop-test / generateEncryptVectors (TestVectorsAwsCryptographicMaterialProviders, ubuntu-22.04, python, 6.0.x)

The job was canceled because "TestVectorsAwsCryptogra_5" failed.

pr-interop-test / generateEncryptVectors (TestVectorsAwsCryptographicMaterialProviders, ubuntu-22.04, python, 6.0.x)

The operation was canceled.

pr-interop-test / generateEncryptVectors (TestVectorsAwsCryptographicMaterialProviders, macos-13, net, 6.0.x)

The job was canceled because "TestVectorsAwsCryptogra_5" failed.

pr-interop-test / generateEncryptVectors (TestVectorsAwsCryptographicMaterialProviders, macos-13, net, 6.0.x)

The operation was canceled.

pr-interop-test / generateEncryptVectors (TestVectorsAwsCryptographicMaterialProviders, macos-13, java, 6.0.x)

The job was canceled because "TestVectorsAwsCryptogra_5" failed.

pr-interop-test / generateEncryptVectors (TestVectorsAwsCryptographicMaterialProviders, macos-13, java, 6.0.x)

The operation was canceled.

pr-interop-test / generateEncryptVectors (TestVectorsAwsCryptographicMaterialProviders, macos-13, python, 6.0.x)

The job was canceled because "TestVectorsAwsCryptogra_5" failed.

pr-interop-test / generateEncryptVectors (TestVectorsAwsCryptographicMaterialProviders, macos-13, python, 6.0.x)

The operation was canceled.

pr-interop-test / generateEncryptVectors (TestVectorsAwsCryptographicMaterialProviders, ubuntu-22.04, java, 6.0.x)

The job was canceled because "TestVectorsAwsCryptogra_5" failed.

pr-interop-test / generateEncryptVectors (TestVectorsAwsCryptographicMaterialProviders, ubuntu-22.04, java, 6.0.x)

The operation was canceled.

pr-ci-net / testDotNet (TestVectorsAwsCryptographicMaterialProviders, 6.0.x, windows-latest): AwsCryptographicMaterialProviders/runtimes/net/Generated/AwsCryptographicMaterialProviders/TypeConversion.cs#L756

Argument 1: cannot convert from 'long' to 'int'

Argument 1: cannot convert from 'Wrappers_Compile._IOption<long>' to 'Wrappers_Compile._IOption<int>'

Cannot implicitly convert type 'long' to 'int?'

Argument 6: cannot convert from 'Wrappers_Compile._IOption<int>' to 'Wrappers_Compile._IOption<long>'

Argument 1: cannot convert from 'long' to 'int'

'TypeConversion' does not contain a definition for 'ToDafny_N3_aws__N12_cryptography__N17_materialProviders__S21_CreateCachingCMMInput'

'TypeConversion' does not contain a definition for 'FromDafny_N3_aws__N12_cryptography__N17_materialProviders__S22_CreateCachingCMMOutput'

pr-ci-net / testDotNet (TestVectorsAwsCryptographicMaterialProviders, 6.0.x, windows-latest)

Process completed with exit code 2.

pr-ci-net / testDotNet (TestVectorsAwsCryptographicMaterialProviders, 6.0.x, macos-13): AwsCryptographicMaterialProviders/runtimes/net/Generated/AwsCryptographicMaterialProviders/TypeConversion.cs#L756

Argument 1: cannot convert from 'long' to 'int'

Argument 1: cannot convert from 'Wrappers_Compile._IOption<long>' to 'Wrappers_Compile._IOption<int>'

Cannot implicitly convert type 'long' to 'int?'

Argument 6: cannot convert from 'Wrappers_Compile._IOption<int>' to 'Wrappers_Compile._IOption<long>'

Argument 1: cannot convert from 'long' to 'int'

'TypeConversion' does not contain a definition for 'ToDafny_N3_aws__N12_cryptography__N17_materialProviders__S21_CreateCachingCMMInput'

'TypeConversion' does not contain a definition for 'FromDafny_N3_aws__N12_cryptography__N17_materialProviders__S22_CreateCachingCMMOutput'

pr-ci-net / testDotNet (TestVectorsAwsCryptographicMaterialProviders, 6.0.x, macos-13)

Process completed with exit code 2.

pr-ci-java / testJava (AwsCryptographicMaterialProviders, macos-13, 16)

Process completed with exit code 2.

pr-ci-java / testJava (AwsCryptographicMaterialProviders, macos-13, 11)

Process completed with exit code 2.

pr-ci-java / testJava (AwsCryptographicMaterialProviders, macos-13, 17)

Process completed with exit code 2.

pr-ci-java / testJava (AwsCryptographicMaterialProviders, macos-13, 8)

Process completed with exit code 2.

pr-ci-go / testGo (TestVectorsAwsCryptographicMaterialProviders, 1.23, macos-13)

Process completed with exit code 2.

pr-ci-go / testGo (AwsCryptographicMaterialProviders, 1.23, macos-13)

Process completed with exit code 1.

pr-ci-codegen / code-generation (AwsCryptographicMaterialProviders, 6.0.x, 3.11, 1.23, ubuntu-22.04)

Process completed with exit code 2.

pr-ci-codegen / code-generation (TestVectorsAwsCryptographicMaterialProviders, 6.0.x, 3.11, 1.23, ubuntu-22.04)

Process completed with exit code 2.

pr-ci-all-required

Process completed with exit code 1.

pr-ci-go / testGo (AwsCryptographyPrimitives, 1.23, ubuntu-22.04)

Restore cache failed: Dependencies file is not found in /home/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.sum

pr-ci-go / testGo (ComAmazonawsKms, 1.23, ubuntu-22.04)

Restore cache failed: Dependencies file is not found in /home/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.sum

pr-ci-net / testDotNet (StandardLibrary, 6.0.x, ubuntu-22.04): StandardLibrary/runtimes/net/Extern/UTF8.cs#L25

The variable 'e' is declared but never used

pr-ci-net / testDotNet (StandardLibrary, 6.0.x, ubuntu-22.04): StandardLibrary/runtimes/net/Extern/UTF8.cs#L30

The variable 'e' is declared but never used

pr-ci-net / testDotNet (StandardLibrary, 6.0.x, ubuntu-22.04): StandardLibrary/runtimes/net/Extern/UTF8.cs#L45

The variable 'e' is declared but never used

pr-ci-net / testDotNet (StandardLibrary, 6.0.x, ubuntu-22.04): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L17455

Unreachable code detected

pr-ci-net / testDotNet (StandardLibrary, 6.0.x, ubuntu-22.04): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L17483

Unreachable code detected

pr-ci-net / testDotNet (StandardLibrary, 6.0.x, ubuntu-22.04): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16680

Unreachable code detected

pr-ci-net / testDotNet (StandardLibrary, 6.0.x, ubuntu-22.04): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16698

Unreachable code detected

pr-ci-net / testDotNet (StandardLibrary, 6.0.x, ubuntu-22.04): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16716

Unreachable code detected

pr-ci-net / testDotNet (StandardLibrary, 6.0.x, ubuntu-22.04): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16515

Unreachable code detected

pr-ci-net / testDotNet (StandardLibrary, 6.0.x, ubuntu-22.04): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16556

Unreachable code detected

pr-ci-net / testDotNet (ComAmazonawsDynamodb, 6.0.x, ubuntu-22.04): StandardLibrary/runtimes/net/Extern/UTF8.cs#L25

The variable 'e' is declared but never used

pr-ci-net / testDotNet (ComAmazonawsDynamodb, 6.0.x, ubuntu-22.04): StandardLibrary/runtimes/net/Extern/UTF8.cs#L30

The variable 'e' is declared but never used

pr-ci-net / testDotNet (ComAmazonawsDynamodb, 6.0.x, ubuntu-22.04): StandardLibrary/runtimes/net/Extern/UTF8.cs#L45

The variable 'e' is declared but never used

pr-ci-net / testDotNet (ComAmazonawsDynamodb, 6.0.x, ubuntu-22.04): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L17455

Unreachable code detected

pr-ci-net / testDotNet (ComAmazonawsDynamodb, 6.0.x, ubuntu-22.04): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L17483

Unreachable code detected

pr-ci-net / testDotNet (ComAmazonawsDynamodb, 6.0.x, ubuntu-22.04): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16346

Unreachable code detected

pr-ci-net / testDotNet (ComAmazonawsDynamodb, 6.0.x, ubuntu-22.04): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16387

Unreachable code detected

pr-ci-net / testDotNet (ComAmazonawsDynamodb, 6.0.x, ubuntu-22.04): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16680

Unreachable code detected

pr-ci-net / testDotNet (ComAmazonawsDynamodb, 6.0.x, ubuntu-22.04): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16698

Unreachable code detected

pr-ci-net / testDotNet (ComAmazonawsDynamodb, 6.0.x, ubuntu-22.04): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16716

Unreachable code detected

pr-ci-net / testDotNet (ComAmazonawsKms, 6.0.x, ubuntu-22.04): StandardLibrary/runtimes/net/Extern/UTF8.cs#L25

The variable 'e' is declared but never used

pr-ci-net / testDotNet (ComAmazonawsKms, 6.0.x, ubuntu-22.04): StandardLibrary/runtimes/net/Extern/UTF8.cs#L30

The variable 'e' is declared but never used

pr-ci-net / testDotNet (ComAmazonawsKms, 6.0.x, ubuntu-22.04): StandardLibrary/runtimes/net/Extern/UTF8.cs#L45

The variable 'e' is declared but never used

pr-ci-net / testDotNet (ComAmazonawsKms, 6.0.x, ubuntu-22.04): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L17455

Unreachable code detected

pr-ci-net / testDotNet (ComAmazonawsKms, 6.0.x, ubuntu-22.04): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L17483

Unreachable code detected

pr-ci-net / testDotNet (ComAmazonawsKms, 6.0.x, ubuntu-22.04): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16346

Unreachable code detected

pr-ci-net / testDotNet (ComAmazonawsKms, 6.0.x, ubuntu-22.04): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16680

Unreachable code detected

pr-ci-net / testDotNet (ComAmazonawsKms, 6.0.x, ubuntu-22.04): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16387

Unreachable code detected

pr-ci-net / testDotNet (ComAmazonawsKms, 6.0.x, ubuntu-22.04): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16698

Unreachable code detected

pr-ci-net / testDotNet (ComAmazonawsKms, 6.0.x, ubuntu-22.04): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16716

Unreachable code detected

pr-ci-go / testGo (ComAmazonawsDynamodb, 1.23, ubuntu-22.04)

Restore cache failed: Dependencies file is not found in /home/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.sum

pr-ci-net / testDotNet (AwsCryptographyPrimitives, 6.0.x, ubuntu-22.04): StandardLibrary/runtimes/net/Extern/UTF8.cs#L25

The variable 'e' is declared but never used

pr-ci-net / testDotNet (AwsCryptographyPrimitives, 6.0.x, ubuntu-22.04): StandardLibrary/runtimes/net/Extern/UTF8.cs#L30

The variable 'e' is declared but never used

pr-ci-net / testDotNet (AwsCryptographyPrimitives, 6.0.x, ubuntu-22.04): StandardLibrary/runtimes/net/Extern/UTF8.cs#L45

The variable 'e' is declared but never used

pr-ci-net / testDotNet (AwsCryptographyPrimitives, 6.0.x, ubuntu-22.04): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L17455

Unreachable code detected

pr-ci-net / testDotNet (AwsCryptographyPrimitives, 6.0.x, ubuntu-22.04): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L17483

Unreachable code detected

pr-ci-net / testDotNet (AwsCryptographyPrimitives, 6.0.x, ubuntu-22.04): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16346

Unreachable code detected

pr-ci-net / testDotNet (AwsCryptographyPrimitives, 6.0.x, ubuntu-22.04): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16680

Unreachable code detected

pr-ci-net / testDotNet (AwsCryptographyPrimitives, 6.0.x, ubuntu-22.04): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16698

Unreachable code detected

pr-ci-net / testDotNet (AwsCryptographyPrimitives, 6.0.x, ubuntu-22.04): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16716

Unreachable code detected

pr-ci-net / testDotNet (AwsCryptographyPrimitives, 6.0.x, ubuntu-22.04): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16515

Unreachable code detected

pr-ci-go / testGo (AwsCryptographyPrimitives, 1.23, macos-13)

Restore cache failed: Dependencies file is not found in /Users/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.sum

pr-ci-net / testDotNet (AwsCryptographicMaterialProviders, 6.0.x, ubuntu-22.04): StandardLibrary/runtimes/net/Extern/UTF8.cs#L25

The variable 'e' is declared but never used

pr-ci-net / testDotNet (AwsCryptographicMaterialProviders, 6.0.x, ubuntu-22.04): StandardLibrary/runtimes/net/Extern/UTF8.cs#L30

The variable 'e' is declared but never used

pr-ci-net / testDotNet (AwsCryptographicMaterialProviders, 6.0.x, ubuntu-22.04): StandardLibrary/runtimes/net/Extern/UTF8.cs#L45

The variable 'e' is declared but never used

pr-ci-net / testDotNet (AwsCryptographicMaterialProviders, 6.0.x, ubuntu-22.04): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L17455

Unreachable code detected

pr-ci-net / testDotNet (AwsCryptographicMaterialProviders, 6.0.x, ubuntu-22.04): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L17483

Unreachable code detected

pr-ci-net / testDotNet (AwsCryptographicMaterialProviders, 6.0.x, ubuntu-22.04): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16515

Unreachable code detected

pr-ci-net / testDotNet (AwsCryptographicMaterialProviders, 6.0.x, ubuntu-22.04): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16556

Unreachable code detected

pr-ci-net / testDotNet (AwsCryptographicMaterialProviders, 6.0.x, ubuntu-22.04): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16680

Unreachable code detected

pr-ci-net / testDotNet (AwsCryptographicMaterialProviders, 6.0.x, ubuntu-22.04): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16698

Unreachable code detected

pr-ci-net / testDotNet (AwsCryptographicMaterialProviders, 6.0.x, ubuntu-22.04): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16716

Unreachable code detected

pr-ci-net / testDotNet (StandardLibrary, 6.0.x, macos-13): StandardLibrary/runtimes/net/Extern/UTF8.cs#L25

The variable 'e' is declared but never used

pr-ci-net / testDotNet (StandardLibrary, 6.0.x, macos-13): StandardLibrary/runtimes/net/Extern/UTF8.cs#L30

The variable 'e' is declared but never used

pr-ci-net / testDotNet (StandardLibrary, 6.0.x, macos-13): StandardLibrary/runtimes/net/Extern/UTF8.cs#L45

The variable 'e' is declared but never used

pr-ci-net / testDotNet (StandardLibrary, 6.0.x, macos-13): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L17455

Unreachable code detected

pr-ci-net / testDotNet (StandardLibrary, 6.0.x, macos-13): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L17483

Unreachable code detected

pr-ci-net / testDotNet (StandardLibrary, 6.0.x, macos-13): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16680

Unreachable code detected

pr-ci-net / testDotNet (StandardLibrary, 6.0.x, macos-13): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16698

Unreachable code detected

pr-ci-net / testDotNet (StandardLibrary, 6.0.x, macos-13): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16716

Unreachable code detected

pr-ci-net / testDotNet (StandardLibrary, 6.0.x, macos-13): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16515

Unreachable code detected

pr-ci-net / testDotNet (StandardLibrary, 6.0.x, macos-13): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16556

Unreachable code detected

pr-ci-net / testDotNet (ComAmazonawsDynamodb, 6.0.x, windows-latest): StandardLibrary/runtimes/net/Extern/UTF8.cs#L25

The variable 'e' is declared but never used

pr-ci-net / testDotNet (ComAmazonawsDynamodb, 6.0.x, windows-latest): StandardLibrary/runtimes/net/Extern/UTF8.cs#L30

The variable 'e' is declared but never used

pr-ci-net / testDotNet (ComAmazonawsDynamodb, 6.0.x, windows-latest): StandardLibrary/runtimes/net/Extern/UTF8.cs#L45

The variable 'e' is declared but never used

pr-ci-net / testDotNet (ComAmazonawsDynamodb, 6.0.x, windows-latest): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L17455

Unreachable code detected

pr-ci-net / testDotNet (ComAmazonawsDynamodb, 6.0.x, windows-latest): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L17483

Unreachable code detected

pr-ci-net / testDotNet (ComAmazonawsDynamodb, 6.0.x, windows-latest): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16515

Unreachable code detected

pr-ci-net / testDotNet (ComAmazonawsDynamodb, 6.0.x, windows-latest): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16346

Unreachable code detected

pr-ci-net / testDotNet (ComAmazonawsDynamodb, 6.0.x, windows-latest): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16556

Unreachable code detected

pr-ci-net / testDotNet (ComAmazonawsDynamodb, 6.0.x, windows-latest): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16387

Unreachable code detected

pr-ci-net / testDotNet (ComAmazonawsDynamodb, 6.0.x, windows-latest): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16680

Unreachable code detected

pr-ci-codegen / code-generation (StandardLibrary, 6.0.x, 3.11, 1.23, ubuntu-22.04)

Restore cache failed: Dependencies file is not found in /home/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.sum

pr-ci-net / testDotNet (TestVectorsAwsCryptographicMaterialProviders, 6.0.x, ubuntu-22.04): StandardLibrary/runtimes/net/Extern/UTF8.cs#L25

The variable 'e' is declared but never used

pr-ci-net / testDotNet (TestVectorsAwsCryptographicMaterialProviders, 6.0.x, ubuntu-22.04): StandardLibrary/runtimes/net/Extern/UTF8.cs#L30

The variable 'e' is declared but never used

pr-ci-net / testDotNet (TestVectorsAwsCryptographicMaterialProviders, 6.0.x, ubuntu-22.04): StandardLibrary/runtimes/net/Extern/UTF8.cs#L45

The variable 'e' is declared but never used

pr-ci-net / testDotNet (TestVectorsAwsCryptographicMaterialProviders, 6.0.x, ubuntu-22.04): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L17455

Unreachable code detected

pr-ci-net / testDotNet (TestVectorsAwsCryptographicMaterialProviders, 6.0.x, ubuntu-22.04): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L17483

Unreachable code detected

pr-ci-net / testDotNet (TestVectorsAwsCryptographicMaterialProviders, 6.0.x, ubuntu-22.04): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16346

Unreachable code detected

pr-ci-net / testDotNet (TestVectorsAwsCryptographicMaterialProviders, 6.0.x, ubuntu-22.04): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16387

Unreachable code detected

pr-ci-net / testDotNet (TestVectorsAwsCryptographicMaterialProviders, 6.0.x, ubuntu-22.04): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16515

Unreachable code detected

pr-ci-net / testDotNet (TestVectorsAwsCryptographicMaterialProviders, 6.0.x, ubuntu-22.04): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16556

Unreachable code detected

pr-ci-net / testDotNet (TestVectorsAwsCryptographicMaterialProviders, 6.0.x, ubuntu-22.04): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16680

Unreachable code detected

pr-ci-net / testDotNet (ComAmazonawsKms, 6.0.x, macos-13): StandardLibrary/runtimes/net/Extern/UTF8.cs#L25

The variable 'e' is declared but never used

pr-ci-net / testDotNet (ComAmazonawsKms, 6.0.x, macos-13): StandardLibrary/runtimes/net/Extern/UTF8.cs#L30

The variable 'e' is declared but never used

pr-ci-net / testDotNet (ComAmazonawsKms, 6.0.x, macos-13): StandardLibrary/runtimes/net/Extern/UTF8.cs#L45

The variable 'e' is declared but never used

pr-ci-net / testDotNet (ComAmazonawsKms, 6.0.x, macos-13): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L17455

Unreachable code detected

pr-ci-net / testDotNet (ComAmazonawsKms, 6.0.x, macos-13): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L17483

Unreachable code detected

pr-ci-net / testDotNet (ComAmazonawsKms, 6.0.x, macos-13): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16680

Unreachable code detected

pr-ci-net / testDotNet (ComAmazonawsKms, 6.0.x, macos-13): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16698

Unreachable code detected

pr-ci-net / testDotNet (ComAmazonawsKms, 6.0.x, macos-13): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16716

Unreachable code detected

pr-ci-net / testDotNet (ComAmazonawsKms, 6.0.x, macos-13): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16346

Unreachable code detected

pr-ci-net / testDotNet (ComAmazonawsKms, 6.0.x, macos-13): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16515

Unreachable code detected

pr-ci-net / testDotNet (AwsCryptographyPrimitives, 6.0.x, windows-latest): StandardLibrary/runtimes/net/Extern/UTF8.cs#L25

The variable 'e' is declared but never used

pr-ci-net / testDotNet (AwsCryptographyPrimitives, 6.0.x, windows-latest): StandardLibrary/runtimes/net/Extern/UTF8.cs#L30

The variable 'e' is declared but never used

pr-ci-net / testDotNet (AwsCryptographyPrimitives, 6.0.x, windows-latest): StandardLibrary/runtimes/net/Extern/UTF8.cs#L45

The variable 'e' is declared but never used

pr-ci-net / testDotNet (AwsCryptographyPrimitives, 6.0.x, windows-latest): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L17455

Unreachable code detected

pr-ci-net / testDotNet (AwsCryptographyPrimitives, 6.0.x, windows-latest): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L17483

Unreachable code detected

pr-ci-net / testDotNet (AwsCryptographyPrimitives, 6.0.x, windows-latest): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16515

Unreachable code detected

pr-ci-net / testDotNet (AwsCryptographyPrimitives, 6.0.x, windows-latest): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16556

Unreachable code detected

pr-ci-net / testDotNet (AwsCryptographyPrimitives, 6.0.x, windows-latest): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16680

Unreachable code detected

pr-ci-net / testDotNet (AwsCryptographyPrimitives, 6.0.x, windows-latest): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16698

Unreachable code detected

pr-ci-net / testDotNet (AwsCryptographyPrimitives, 6.0.x, windows-latest): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16716

Unreachable code detected

pr-ci-go / testGo (AwsCryptographicMaterialProviders, 1.23, ubuntu-22.04)

Restore cache failed: Dependencies file is not found in /home/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.sum

pr-ci-go / testGo (ComAmazonawsDynamodb, 1.23, macos-13)

Restore cache failed: Dependencies file is not found in /Users/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.sum

pr-ci-net / testDotNet (StandardLibrary, 6.0.x, windows-latest): StandardLibrary/runtimes/net/Extern/UTF8.cs#L25

The variable 'e' is declared but never used

pr-ci-net / testDotNet (StandardLibrary, 6.0.x, windows-latest): StandardLibrary/runtimes/net/Extern/UTF8.cs#L30

The variable 'e' is declared but never used

pr-ci-net / testDotNet (StandardLibrary, 6.0.x, windows-latest): StandardLibrary/runtimes/net/Extern/UTF8.cs#L45

The variable 'e' is declared but never used

pr-ci-net / testDotNet (StandardLibrary, 6.0.x, windows-latest): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L17455

Unreachable code detected

pr-ci-net / testDotNet (StandardLibrary, 6.0.x, windows-latest): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L17483

Unreachable code detected

pr-ci-net / testDotNet (StandardLibrary, 6.0.x, windows-latest): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16346

Unreachable code detected

pr-ci-net / testDotNet (StandardLibrary, 6.0.x, windows-latest): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16680

Unreachable code detected

pr-ci-net / testDotNet (StandardLibrary, 6.0.x, windows-latest): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16387

Unreachable code detected

pr-ci-net / testDotNet (StandardLibrary, 6.0.x, windows-latest): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16698

Unreachable code detected

pr-ci-net / testDotNet (StandardLibrary, 6.0.x, windows-latest): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16716

Unreachable code detected

pr-ci-net / testDotNet (AwsCryptographyPrimitives, 6.0.x, macos-13): StandardLibrary/runtimes/net/Extern/UTF8.cs#L25

The variable 'e' is declared but never used

pr-ci-net / testDotNet (AwsCryptographyPrimitives, 6.0.x, macos-13): StandardLibrary/runtimes/net/Extern/UTF8.cs#L30

The variable 'e' is declared but never used

pr-ci-net / testDotNet (AwsCryptographyPrimitives, 6.0.x, macos-13): StandardLibrary/runtimes/net/Extern/UTF8.cs#L45

The variable 'e' is declared but never used

pr-ci-net / testDotNet (AwsCryptographyPrimitives, 6.0.x, macos-13): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L17455

Unreachable code detected

pr-ci-net / testDotNet (AwsCryptographyPrimitives, 6.0.x, macos-13): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L17483

Unreachable code detected

pr-ci-net / testDotNet (AwsCryptographyPrimitives, 6.0.x, macos-13): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16515

Unreachable code detected

pr-ci-net / testDotNet (AwsCryptographyPrimitives, 6.0.x, macos-13): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16556

Unreachable code detected

pr-ci-net / testDotNet (AwsCryptographyPrimitives, 6.0.x, macos-13): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16346

Unreachable code detected

pr-ci-net / testDotNet (AwsCryptographyPrimitives, 6.0.x, macos-13): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16387

Unreachable code detected

pr-ci-net / testDotNet (AwsCryptographyPrimitives, 6.0.x, macos-13): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16680

Unreachable code detected

pr-ci-go / testGo (TestVectorsAwsCryptographicMaterialProviders, 1.23, ubuntu-22.04)

Restore cache failed: Dependencies file is not found in /home/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.sum

pr-ci-net / testDotNet (ComAmazonawsDynamodb, 6.0.x, macos-13): StandardLibrary/runtimes/net/Extern/UTF8.cs#L25

The variable 'e' is declared but never used

pr-ci-net / testDotNet (ComAmazonawsDynamodb, 6.0.x, macos-13): StandardLibrary/runtimes/net/Extern/UTF8.cs#L30

The variable 'e' is declared but never used

pr-ci-net / testDotNet (ComAmazonawsDynamodb, 6.0.x, macos-13): StandardLibrary/runtimes/net/Extern/UTF8.cs#L45

The variable 'e' is declared but never used

pr-ci-net / testDotNet (ComAmazonawsDynamodb, 6.0.x, macos-13): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L17455

Unreachable code detected

pr-ci-net / testDotNet (ComAmazonawsDynamodb, 6.0.x, macos-13): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L17483

Unreachable code detected

pr-ci-net / testDotNet (ComAmazonawsDynamodb, 6.0.x, macos-13): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16515

Unreachable code detected

pr-ci-net / testDotNet (ComAmazonawsDynamodb, 6.0.x, macos-13): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16680

Unreachable code detected

pr-ci-net / testDotNet (ComAmazonawsDynamodb, 6.0.x, macos-13): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16698

Unreachable code detected

pr-ci-net / testDotNet (ComAmazonawsDynamodb, 6.0.x, macos-13): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16556

Unreachable code detected

pr-ci-net / testDotNet (ComAmazonawsDynamodb, 6.0.x, macos-13): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16716

Unreachable code detected

pr-interop-test / generateEncryptVectors (TestVectorsAwsCryptographicMaterialProviders, ubuntu-22.04, go, 6.0.x)

Restore cache failed: Dependencies file is not found in /home/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.sum

pr-ci-go / testGo (ComAmazonawsKms, 1.23, macos-13)

Restore cache failed: Dependencies file is not found in /Users/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.sum

pr-interop-test / generateEncryptVectors (TestVectorsAwsCryptographicMaterialProviders, macos-13, rust, 6.0.x)

Restore cache failed: Dependencies file is not found in /Users/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.sum

pr-interop-test / generateEncryptVectors (TestVectorsAwsCryptographicMaterialProviders, ubuntu-22.04, net, 6.0.x)

Restore cache failed: Dependencies file is not found in /home/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.sum

pr-interop-test / generateEncryptVectors (TestVectorsAwsCryptographicMaterialProviders, ubuntu-22.04, net, 6.0.x): StandardLibrary/runtimes/net/Extern/UTF8.cs#L25

The variable 'e' is declared but never used

pr-interop-test / generateEncryptVectors (TestVectorsAwsCryptographicMaterialProviders, ubuntu-22.04, net, 6.0.x): StandardLibrary/runtimes/net/Extern/UTF8.cs#L30

The variable 'e' is declared but never used

pr-interop-test / generateEncryptVectors (TestVectorsAwsCryptographicMaterialProviders, ubuntu-22.04, net, 6.0.x): StandardLibrary/runtimes/net/Extern/UTF8.cs#L45

The variable 'e' is declared but never used

pr-interop-test / generateEncryptVectors (TestVectorsAwsCryptographicMaterialProviders, ubuntu-22.04, net, 6.0.x): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L17455

Unreachable code detected

pr-interop-test / generateEncryptVectors (TestVectorsAwsCryptographicMaterialProviders, ubuntu-22.04, net, 6.0.x): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L17483

Unreachable code detected

pr-interop-test / generateEncryptVectors (TestVectorsAwsCryptographicMaterialProviders, ubuntu-22.04, net, 6.0.x): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16680

Unreachable code detected

pr-interop-test / generateEncryptVectors (TestVectorsAwsCryptographicMaterialProviders, ubuntu-22.04, net, 6.0.x): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16698

Unreachable code detected

pr-interop-test / generateEncryptVectors (TestVectorsAwsCryptographicMaterialProviders, ubuntu-22.04, net, 6.0.x): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16716

Unreachable code detected

pr-interop-test / generateEncryptVectors (TestVectorsAwsCryptographicMaterialProviders, ubuntu-22.04, net, 6.0.x): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16515

Unreachable code detected

pr-interop-test / generateEncryptVectors (TestVectorsAwsCryptographicMaterialProviders, ubuntu-22.04, net, 6.0.x): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16556

Unreachable code detected

pr-ci-rust / testRust (StandardLibrary, ubuntu-22.04)

The `python-version` input is not set. The version of Python currently in `PATH` will be used.

pr-ci-net / testDotNet (AwsCryptographicMaterialProviders, 6.0.x, windows-latest): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L17455

Unreachable code detected

pr-ci-net / testDotNet (AwsCryptographicMaterialProviders, 6.0.x, windows-latest): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L17483

Unreachable code detected

pr-ci-net / testDotNet (AwsCryptographicMaterialProviders, 6.0.x, windows-latest): StandardLibrary/runtimes/net/Extern/UTF8.cs#L25

The variable 'e' is declared but never used

pr-ci-net / testDotNet (AwsCryptographicMaterialProviders, 6.0.x, windows-latest): StandardLibrary/runtimes/net/Extern/UTF8.cs#L30

The variable 'e' is declared but never used

pr-ci-net / testDotNet (AwsCryptographicMaterialProviders, 6.0.x, windows-latest): StandardLibrary/runtimes/net/Extern/UTF8.cs#L45

The variable 'e' is declared but never used

pr-ci-net / testDotNet (AwsCryptographicMaterialProviders, 6.0.x, windows-latest): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16346

Unreachable code detected

pr-ci-net / testDotNet (AwsCryptographicMaterialProviders, 6.0.x, windows-latest): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16515

Unreachable code detected

pr-ci-net / testDotNet (AwsCryptographicMaterialProviders, 6.0.x, windows-latest): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16387

Unreachable code detected

pr-ci-net / testDotNet (AwsCryptographicMaterialProviders, 6.0.x, windows-latest): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16556

Unreachable code detected

pr-ci-net / testDotNet (AwsCryptographicMaterialProviders, 6.0.x, windows-latest): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16680

Unreachable code detected

pr-ci-codegen / code-generation (AwsCryptographyPrimitives, 6.0.x, 3.11, 1.23, ubuntu-22.04)

Restore cache failed: Dependencies file is not found in /home/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.sum

pr-interop-test / generateEncryptVectors (TestVectorsAwsCryptographicMaterialProviders, ubuntu-22.04, rust, 6.0.x)

Restore cache failed: Dependencies file is not found in /home/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.sum

pr-ci-net / testDotNet (AwsCryptographicMaterialProviders, 6.0.x, macos-13): StandardLibrary/runtimes/net/Extern/UTF8.cs#L25

The variable 'e' is declared but never used

pr-ci-net / testDotNet (AwsCryptographicMaterialProviders, 6.0.x, macos-13): StandardLibrary/runtimes/net/Extern/UTF8.cs#L30

The variable 'e' is declared but never used

pr-ci-net / testDotNet (AwsCryptographicMaterialProviders, 6.0.x, macos-13): StandardLibrary/runtimes/net/Extern/UTF8.cs#L45

The variable 'e' is declared but never used

pr-ci-net / testDotNet (AwsCryptographicMaterialProviders, 6.0.x, macos-13): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L17455

Unreachable code detected

pr-ci-net / testDotNet (AwsCryptographicMaterialProviders, 6.0.x, macos-13): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L17483

Unreachable code detected

pr-ci-net / testDotNet (AwsCryptographicMaterialProviders, 6.0.x, macos-13): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16515

Unreachable code detected

pr-ci-net / testDotNet (AwsCryptographicMaterialProviders, 6.0.x, macos-13): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16346

Unreachable code detected

pr-ci-net / testDotNet (AwsCryptographicMaterialProviders, 6.0.x, macos-13): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16556

Unreachable code detected

pr-ci-net / testDotNet (AwsCryptographicMaterialProviders, 6.0.x, macos-13): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16680

Unreachable code detected

pr-ci-net / testDotNet (AwsCryptographicMaterialProviders, 6.0.x, macos-13): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16698

Unreachable code detected

pr-ci-go / testGo (StandardLibrary, 1.23, ubuntu-22.04)

Restore cache failed: Dependencies file is not found in /home/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.sum

pr-interop-test / generateEncryptVectors (TestVectorsAwsCryptographicMaterialProviders, macos-13, go, 6.0.x)

Restore cache failed: Dependencies file is not found in /Users/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.sum

pr-interop-test / generateEncryptVectors (TestVectorsAwsCryptographicMaterialProviders, ubuntu-22.04, python, 6.0.x)

Restore cache failed: Dependencies file is not found in /home/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.sum

pr-interop-test / generateEncryptVectors (TestVectorsAwsCryptographicMaterialProviders, macos-13, net, 6.0.x)

Restore cache failed: Dependencies file is not found in /Users/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.sum

pr-interop-test / generateEncryptVectors (TestVectorsAwsCryptographicMaterialProviders, macos-13, java, 6.0.x)

Restore cache failed: Dependencies file is not found in /Users/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.sum

pr-interop-test / generateEncryptVectors (TestVectorsAwsCryptographicMaterialProviders, macos-13, python, 6.0.x)

Restore cache failed: Dependencies file is not found in /Users/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.sum

pr-interop-test / generateEncryptVectors (TestVectorsAwsCryptographicMaterialProviders, ubuntu-22.04, java, 6.0.x)

Restore cache failed: Dependencies file is not found in /home/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.sum

pr-ci-net / testDotNet (TestVectorsAwsCryptographicMaterialProviders, 6.0.x, windows-latest): StandardLibrary/runtimes/net/Extern/UTF8.cs#L25

The variable 'e' is declared but never used

pr-ci-net / testDotNet (TestVectorsAwsCryptographicMaterialProviders, 6.0.x, windows-latest): StandardLibrary/runtimes/net/Extern/UTF8.cs#L30

The variable 'e' is declared but never used

pr-ci-net / testDotNet (TestVectorsAwsCryptographicMaterialProviders, 6.0.x, windows-latest): StandardLibrary/runtimes/net/Extern/UTF8.cs#L45

The variable 'e' is declared but never used

pr-ci-net / testDotNet (TestVectorsAwsCryptographicMaterialProviders, 6.0.x, windows-latest): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L17455

Unreachable code detected

pr-ci-net / testDotNet (TestVectorsAwsCryptographicMaterialProviders, 6.0.x, windows-latest): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16515

Unreachable code detected

pr-ci-net / testDotNet (TestVectorsAwsCryptographicMaterialProviders, 6.0.x, windows-latest): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L17483

Unreachable code detected

pr-ci-net / testDotNet (TestVectorsAwsCryptographicMaterialProviders, 6.0.x, windows-latest): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16556

Unreachable code detected

pr-ci-net / testDotNet (TestVectorsAwsCryptographicMaterialProviders, 6.0.x, windows-latest): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16346

Unreachable code detected

pr-ci-net / testDotNet (TestVectorsAwsCryptographicMaterialProviders, 6.0.x, windows-latest): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16680

Unreachable code detected

pr-ci-net / testDotNet (TestVectorsAwsCryptographicMaterialProviders, 6.0.x, windows-latest): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16698

Unreachable code detected

pr-ci-net / testDotNet (ComAmazonawsKms, 6.0.x, windows-latest): StandardLibrary/runtimes/net/Extern/UTF8.cs#L25

The variable 'e' is declared but never used

pr-ci-net / testDotNet (ComAmazonawsKms, 6.0.x, windows-latest): StandardLibrary/runtimes/net/Extern/UTF8.cs#L30

The variable 'e' is declared but never used

pr-ci-net / testDotNet (ComAmazonawsKms, 6.0.x, windows-latest): StandardLibrary/runtimes/net/Extern/UTF8.cs#L45

The variable 'e' is declared but never used

pr-ci-net / testDotNet (ComAmazonawsKms, 6.0.x, windows-latest): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L17455

Unreachable code detected

pr-ci-net / testDotNet (ComAmazonawsKms, 6.0.x, windows-latest): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L17483

Unreachable code detected

pr-ci-net / testDotNet (ComAmazonawsKms, 6.0.x, windows-latest): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16515

Unreachable code detected

pr-ci-net / testDotNet (ComAmazonawsKms, 6.0.x, windows-latest): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16556

Unreachable code detected

pr-ci-net / testDotNet (ComAmazonawsKms, 6.0.x, windows-latest): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16346

Unreachable code detected

pr-ci-net / testDotNet (ComAmazonawsKms, 6.0.x, windows-latest): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16387

Unreachable code detected

pr-ci-net / testDotNet (ComAmazonawsKms, 6.0.x, windows-latest): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16680

Unreachable code detected

pr-ci-codegen / code-generation (ComAmazonawsKms, 6.0.x, 3.11, 1.23, ubuntu-22.04)

Restore cache failed: Dependencies file is not found in /home/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.sum

pr-ci-net / testDotNet (TestVectorsAwsCryptographicMaterialProviders, 6.0.x, macos-13): StandardLibrary/runtimes/net/Extern/UTF8.cs#L25

The variable 'e' is declared but never used

pr-ci-net / testDotNet (TestVectorsAwsCryptographicMaterialProviders, 6.0.x, macos-13): StandardLibrary/runtimes/net/Extern/UTF8.cs#L30

The variable 'e' is declared but never used

pr-ci-net / testDotNet (TestVectorsAwsCryptographicMaterialProviders, 6.0.x, macos-13): StandardLibrary/runtimes/net/Extern/UTF8.cs#L45

The variable 'e' is declared but never used

pr-ci-net / testDotNet (TestVectorsAwsCryptographicMaterialProviders, 6.0.x, macos-13): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L17455

Unreachable code detected

pr-ci-net / testDotNet (TestVectorsAwsCryptographicMaterialProviders, 6.0.x, macos-13): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L17483

Unreachable code detected

pr-ci-net / testDotNet (TestVectorsAwsCryptographicMaterialProviders, 6.0.x, macos-13): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16680

Unreachable code detected

pr-ci-net / testDotNet (TestVectorsAwsCryptographicMaterialProviders, 6.0.x, macos-13): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16698

Unreachable code detected

pr-ci-net / testDotNet (TestVectorsAwsCryptographicMaterialProviders, 6.0.x, macos-13): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16716

Unreachable code detected

pr-ci-net / testDotNet (TestVectorsAwsCryptographicMaterialProviders, 6.0.x, macos-13): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16515

Unreachable code detected

pr-ci-net / testDotNet (TestVectorsAwsCryptographicMaterialProviders, 6.0.x, macos-13): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16346

Unreachable code detected

pr-ci-codegen / code-generation (ComAmazonawsDynamodb, 6.0.x, 3.11, 1.23, ubuntu-22.04)

Restore cache failed: Dependencies file is not found in /home/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.sum

pr-ci-go / testGo (TestVectorsAwsCryptographicMaterialProviders, 1.23, macos-13)

Restore cache failed: Dependencies file is not found in /Users/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.sum

pr-ci-go / testGo (AwsCryptographicMaterialProviders, 1.23, macos-13)

Restore cache failed: Dependencies file is not found in /Users/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.sum

pr-ci-go / testGo (StandardLibrary, 1.23, macos-13)

Restore cache failed: Dependencies file is not found in /Users/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.sum

pr-ci-rust / testRust (AwsCryptographyPrimitives, ubuntu-22.04)

The `python-version` input is not set. The version of Python currently in `PATH` will be used.

pr-ci-rust / testRust (StandardLibrary, macos-13)

The `python-version` input is not set. The version of Python currently in `PATH` will be used.

pr-ci-rust / testRust (ComAmazonawsKms, ubuntu-22.04)

The `python-version` input is not set. The version of Python currently in `PATH` will be used.

pr-ci-rust / testRust (ComAmazonawsDynamodb, ubuntu-22.04)

The `python-version` input is not set. The version of Python currently in `PATH` will be used.

pr-ci-codegen / code-generation (AwsCryptographicMaterialProviders, 6.0.x, 3.11, 1.23, ubuntu-22.04)

Restore cache failed: Dependencies file is not found in /home/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.sum

pr-ci-rust / testRust (AwsCryptographyPrimitives, macos-13)

The `python-version` input is not set. The version of Python currently in `PATH` will be used.

pr-ci-rust / testRust (AwsCryptographicMaterialProviders, ubuntu-22.04)

The `python-version` input is not set. The version of Python currently in `PATH` will be used.

pr-ci-codegen / code-generation (TestVectorsAwsCryptographicMaterialProviders, 6.0.x, 3.11, 1.23, ubuntu-22.04)

Restore cache failed: Dependencies file is not found in /home/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.sum

pr-ci-rust / testRust (ComAmazonawsKms, macos-13)

The `python-version` input is not set. The version of Python currently in `PATH` will be used.

pr-ci-rust / testRust (TestVectorsAwsCryptographicMaterialProviders, ubuntu-22.04)

The `python-version` input is not set. The version of Python currently in `PATH` will be used.

pr-ci-rust / testRust (ComAmazonawsDynamodb, macos-13)

The `python-version` input is not set. The version of Python currently in `PATH` will be used.

pr-ci-rust / testRust (AwsCryptographicMaterialProviders, macos-13)

The `python-version` input is not set. The version of Python currently in `PATH` will be used.

pr-ci-rust / testRust (TestVectorsAwsCryptographicMaterialProviders, macos-13)

The `python-version` input is not set. The version of Python currently in `PATH` will be used.

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

feat: Adding Caching CMM #4198

Summary

feat: Adding Caching CMM #4198

Jobs

Run details

pull.yml

Annotations