Process completed with exit code 1.

Unexpected HTTP response: 404

The strategy configuration was canceled because "dafny-nightly-verification.verification.TestVectors_macos-15" failed

The operation was canceled.

Unexpected HTTP response: 404

Process completed with exit code 1.

Unexpected HTTP response: 404

The strategy configuration was canceled because "dafny_nightly_backwards_interop_mpl.dafny-interop-net-test-vectors.generate_vectors.macos-15" failed

The operation was canceled.

Process completed with exit code 1.

Unexpected HTTP response: 404

Process completed with exit code 1.

Unexpected HTTP response: 404

clone of 'https://github.com/dafny-lang/libraries.git' into submodule path '/Users/runner/work/aws-encryption-sdk/aws-encryption-sdk/mpl/libraries' failed

unable to access 'https://github.com/dafny-lang/libraries.git/': Failed to connect to github.com port 443 after 17223 ms: Couldn't connect to server

The strategy configuration was canceled because "dafny_nightly_backwards_interop_mpl.dafny-interop-net-test-vectors.decrypt_python_vectors.macos-15" failed

The operation was canceled.

The strategy configuration was canceled because "dafny_nightly_backwards_interop_mpl.dafny-interop-net-test-vectors.decrypt_python_vectors.macos-15" failed

The operation was canceled.

Process completed with exit code 1.

Unexpected HTTP response: 404

The strategy configuration was canceled because "dafny_nightly_backwards_interop_esdk.dafny-interop-net-test-vectors.generate_vectors.macos-15" failed

The operation was canceled.

Process completed with exit code 1.

Unexpected HTTP response: 404

Process completed with exit code 1.

Unexpected HTTP response: 404

The strategy configuration was canceled because "dafny_nightly_backwards_interop_esdk.dafny-interop-net-test-vectors.decrypt_python_vectors.macos-15" failed

The operation was canceled.

The strategy configuration was canceled because "dafny_nightly_backwards_interop_esdk.dafny-interop-net-test-vectors.decrypt_python_vectors.macos-15" failed

The operation was canceled.

Process completed with exit code 2.

[git, apply, -v, /home/runner/work/aws-encryption-sdk/aws-encryption-sdk/TestVectors/codegen-patches/TestVectors/dotnet/dafny-4.8.1.patch]

Process completed with exit code 2.

[git, apply, -v, /home/runner/work/aws-encryption-sdk/aws-encryption-sdk/TestVectors/codegen-patches/TestVectors/dotnet/dafny-4.8.1.patch]

Process completed with exit code 1.

Process completed with exit code 1.

Process completed with exit code 1.

Process completed with exit code 1.

Process completed with exit code 1.

Process completed with exit code 1.

Process completed with exit code 1.

Process completed with exit code 1.

Process completed with exit code 2.

undefined: CompanionStruct_Default___

undefined: CompanionStruct_Default___

Process completed with exit code 2.

undefined: CompanionStruct_Default___

undefined: CompanionStruct_Default___

Process completed with exit code 2.

[git, apply, -v, D:\a\aws-encryption-sdk\aws-encryption-sdk\AwsEncryptionSDK\codegen-patches\AwsEncryptionSdk\dotnet\dafny-4.9.0.patch]

Process completed with exit code 2.

[git, apply, -v, D:\a\aws-encryption-sdk\aws-encryption-sdk\AwsEncryptionSDK\codegen-patches\AwsEncryptionSdk\dotnet\dafny-4.9.0.patch]

The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.

The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.

The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.

The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.

The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.

The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.

Unreachable code detected

Unreachable code detected

Unreachable code detected

Unreachable code detected

Unreachable code detected

The variable 'e' is declared but never used

The variable 'e' is declared but never used

The variable 'e' is declared but never used

The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.

The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.

The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.

Restore cache failed: Dependencies file is not found in /home/runner/work/aws-encryption-sdk/aws-encryption-sdk. Supported file pattern: go.sum

Restore cache failed: Dependencies file is not found in /home/runner/work/aws-encryption-sdk/aws-encryption-sdk. Supported file pattern: go.sum

The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.

The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.

The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.

The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.

The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.

The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.

The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.

The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.

Unreachable code detected

Unreachable code detected

Unreachable code detected

Unreachable code detected

Unreachable code detected

Unreachable code detected

The variable 'e' is declared but never used

The variable 'e' is declared but never used

The variable 'e' is declared but never used

The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.

The variable 'ex' is declared but never used

The variable 'ignore' is declared but never used

Unreachable code detected

Unreachable code detected

Unreachable code detected

Unreachable code detected

Unreachable code detected

The variable 'e' is declared but never used

The variable 'e' is declared but never used

The variable 'e' is declared but never used

The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.

The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.

The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.

The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.

The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.

The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.

The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.

The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.

The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.

The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.

The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.

Unreachable code detected

Unreachable code detected

Unreachable code detected

Unreachable code detected

Unreachable code detected

Unreachable code detected

The variable 'e' is declared but never used

The variable 'e' is declared but never used

The variable 'e' is declared but never used

The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.

The variable 'ignore' is declared but never used

The variable 'ex' is declared but never used

Unreachable code detected

Unreachable code detected

Unreachable code detected

Unreachable code detected

Unreachable code detected

The variable 'e' is declared but never used

The variable 'e' is declared but never used

The variable 'e' is declared but never used

The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.

The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.

The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.

Restore cache failed: Dependencies file is not found in /home/runner/work/aws-encryption-sdk/aws-encryption-sdk. Supported file pattern: go.sum

Restore cache failed: Dependencies file is not found in /home/runner/work/aws-encryption-sdk/aws-encryption-sdk. Supported file pattern: go.sum

The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.

The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.

The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.

The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.

The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.

The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.

The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.

The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.

The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.

Possible null reference argument for parameter 'strAlg' in 'PaddingScheme MaterialProviderFactory.RSAPaddingFromStrings(string strAlg, string strHash)'.

Converting null literal or possible null value to non-nullable type.

Converting null literal or possible null value to non-nullable type.

Possible null reference argument for parameter 'key' in 'Key Dictionary<string, Key>.this[string key]'.

Possible null reference argument for parameter 'key' in 'Key Dictionary<string, Key>.this[string key]'.

Possible null reference argument for parameter 'key' in 'IKeyring MaterialProviderFactory.CreateKeyring(MasterKey keyInfo, Key key, CryptoOperation operation)'.

Converting null literal or possible null value to non-nullable type.

Dereference of a possibly null reference.

Possible null reference return.

The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.

The variable 'ex' is declared but never used

The variable 'ignore' is declared but never used

The variable 'ex' is declared but never used

The variable 'ignore' is declared but never used

Unreachable code detected

Unreachable code detected

Unreachable code detected

Unreachable code detected

Unreachable code detected

The variable 'e' is declared but never used

The variable 'e' is declared but never used

The variable 'e' is declared but never used

The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.

The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.

Unreachable code detected

Unreachable code detected

Unreachable code detected

Unreachable code detected

Unreachable code detected

Unreachable code detected

The variable 'e' is declared but never used

The variable 'e' is declared but never used

The variable 'e' is declared but never used

The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.

The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.

Restore cache failed: Dependencies file is not found in /home/runner/work/aws-encryption-sdk/aws-encryption-sdk. Supported file pattern: go.sum

Restore cache failed: Dependencies file is not found in /home/runner/work/aws-encryption-sdk/aws-encryption-sdk. Supported file pattern: go.sum

Restore cache failed: Dependencies file is not found in /home/runner/work/aws-encryption-sdk/aws-encryption-sdk. Supported file pattern: go.sum

Restore cache failed: Dependencies file is not found in /home/runner/work/aws-encryption-sdk/aws-encryption-sdk. Supported file pattern: go.sum

The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.

The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.

The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.

The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.

The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.

The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.

The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.

The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.

The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.

Possible null reference argument for parameter 'strAlg' in 'PaddingScheme MaterialProviderFactory.RSAPaddingFromStrings(string strAlg, string strHash)'.

Converting null literal or possible null value to non-nullable type.

Converting null literal or possible null value to non-nullable type.

Possible null reference argument for parameter 'key' in 'Key Dictionary<string, Key>.this[string key]'.

Possible null reference argument for parameter 'key' in 'Key Dictionary<string, Key>.this[string key]'.

Possible null reference argument for parameter 'key' in 'IKeyring MaterialProviderFactory.CreateKeyring(MasterKey keyInfo, Key key, CryptoOperation operation)'.

Converting null literal or possible null value to non-nullable type.

Dereference of a possibly null reference.

Possible null reference return.

The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.

The variable 'ex' is declared but never used

The variable 'ignore' is declared but never used

The variable 'ex' is declared but never used

The variable 'ignore' is declared but never used

Unreachable code detected

Unreachable code detected

Unreachable code detected

Unreachable code detected

Unreachable code detected

The variable 'e' is declared but never used

The variable 'e' is declared but never used

The variable 'e' is declared but never used

The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.

The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.

Unreachable code detected

Unreachable code detected

Unreachable code detected

Unreachable code detected

Unreachable code detected

Unreachable code detected

The variable 'e' is declared but never used

The variable 'e' is declared but never used

The variable 'e' is declared but never used

The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.

The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.

Restore cache failed: Dependencies file is not found in /home/runner/work/aws-encryption-sdk/aws-encryption-sdk. Supported file pattern: go.sum

Restore cache failed: Dependencies file is not found in /home/runner/work/aws-encryption-sdk/aws-encryption-sdk. Supported file pattern: go.sum

Restore cache failed: Dependencies file is not found in /home/runner/work/aws-encryption-sdk/aws-encryption-sdk. Supported file pattern: go.sum

Restore cache failed: Dependencies file is not found in /home/runner/work/aws-encryption-sdk/aws-encryption-sdk. Supported file pattern: go.sum

Restore cache failed: Dependencies file is not found in D:\a\aws-encryption-sdk\aws-encryption-sdk. Supported file pattern: go.sum

Restore cache failed: Dependencies file is not found in D:\a\aws-encryption-sdk\aws-encryption-sdk. Supported file pattern: go.sum

The variable 'ignore' is declared but never used

The variable 'ex' is declared but never used

Unreachable code detected

Unreachable code detected

Unreachable code detected

Unreachable code detected

Unreachable code detected

The variable 'e' is declared but never used

The variable 'e' is declared but never used

The variable 'e' is declared but never used

The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.

The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.

Unreachable code detected

Unreachable code detected

Unreachable code detected

Unreachable code detected

Unreachable code detected

Unreachable code detected

The variable 'e' is declared but never used

The variable 'e' is declared but never used

The variable 'e' is declared but never used

The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.

Restore cache failed: Dependencies file is not found in /home/runner/work/aws-encryption-sdk/aws-encryption-sdk. Supported file pattern: go.sum

Restore cache failed: Dependencies file is not found in /home/runner/work/aws-encryption-sdk/aws-encryption-sdk. Supported file pattern: go.sum

Restore cache failed: Dependencies file is not found in /home/runner/work/aws-encryption-sdk/aws-encryption-sdk. Supported file pattern: go.sum

Restore cache failed: Dependencies file is not found in /home/runner/work/aws-encryption-sdk/aws-encryption-sdk. Supported file pattern: go.sum

Restore cache failed: Dependencies file is not found in /home/runner/work/aws-encryption-sdk/aws-encryption-sdk. Supported file pattern: go.sum

Restore cache failed: Dependencies file is not found in /home/runner/work/aws-encryption-sdk/aws-encryption-sdk. Supported file pattern: go.sum

Restore cache failed: Dependencies file is not found in /home/runner/work/aws-encryption-sdk/aws-encryption-sdk. Supported file pattern: go.sum