Process completed with exit code 2.

Process completed with exit code 2.

Process completed with exit code 1.

Argument 4: cannot convert from 'Dafny.IMap<Dafny.ISequence<char>, software.amazon.cryptography.dbencryptionsdk.structuredencryption.internaldafny.types._ICryptoAction>' to 'Wrappers_Compile._IOption<Dafny.ISequence<char>>'

Argument 3: cannot convert from 'Wrappers_Compile._IOption<Dafny.ISequence<char>>' to 'Dafny.IMap<Dafny.ISequence<char>, software.amazon.cryptography.dbencryptionsdk.structuredencryption.internaldafny.types._ICryptoAction>'

Argument 4: cannot convert from 'Dafny.IMap<Dafny.ISequence<char>, software.amazon.cryptography.dbencryptionsdk.structuredencryption.internaldafny.types._ICryptoAction>' to 'Wrappers_Compile._IOption<Dafny.ISequence<char>>'

Argument 3: cannot convert from 'Wrappers_Compile._IOption<Dafny.ISequence<char>>' to 'Dafny.IMap<Dafny.ISequence<char>, software.amazon.cryptography.dbencryptionsdk.structuredencryption.internaldafny.types._ICryptoAction>'

Argument 4: cannot convert from 'Dafny.IMap<Dafny.ISequence<char>, software.amazon.cryptography.dbencryptionsdk.structuredencryption.internaldafny.types._ICryptoAction>' to 'Wrappers_Compile._IOption<Dafny.ISequence<char>>'

Argument 3: cannot convert from 'Wrappers_Compile._IOption<Dafny.ISequence<char>>' to 'Dafny.IMap<Dafny.ISequence<char>, software.amazon.cryptography.dbencryptionsdk.structuredencryption.internaldafny.types._ICryptoAction>'

Argument 4: cannot convert from 'Dafny.IMap<Dafny.ISequence<char>, software.amazon.cryptography.dbencryptionsdk.structuredencryption.internaldafny.types._ICryptoAction>' to 'Wrappers_Compile._IOption<Dafny.ISequence<char>>'

Argument 3: cannot convert from 'Wrappers_Compile._IOption<Dafny.ISequence<char>>' to 'Dafny.IMap<Dafny.ISequence<char>, software.amazon.cryptography.dbencryptionsdk.structuredencryption.internaldafny.types._ICryptoAction>'

The operation was canceled.

The strategy configuration was canceled because "pr-ci-net.testDotNet.DynamoDbEncryption_6_0__2" failed

The operation was canceled.

The strategy configuration was canceled because "pr-ci-net.testDotNet.DynamoDbEncryption_6_0__2" failed

Process completed with exit code 2.

Process completed with exit code 1.

Argument 4: cannot convert from 'Dafny.IMap<Dafny.ISequence<char>, software.amazon.cryptography.dbencryptionsdk.structuredencryption.internaldafny.types._ICryptoAction>' to 'Wrappers_Compile._IOption<Dafny.ISequence<char>>'

Argument 3: cannot convert from 'Wrappers_Compile._IOption<Dafny.ISequence<char>>' to 'Dafny.IMap<Dafny.ISequence<char>, software.amazon.cryptography.dbencryptionsdk.structuredencryption.internaldafny.types._ICryptoAction>'

Process completed with exit code 1.

Argument 4: cannot convert from 'Dafny.IMap<Dafny.ISequence<char>, software.amazon.cryptography.dbencryptionsdk.structuredencryption.internaldafny.types._ICryptoAction>' to 'Wrappers_Compile._IOption<Dafny.ISequence<char>>'

Argument 3: cannot convert from 'Wrappers_Compile._IOption<Dafny.ISequence<char>>' to 'Dafny.IMap<Dafny.ISequence<char>, software.amazon.cryptography.dbencryptionsdk.structuredencryption.internaldafny.types._ICryptoAction>'

Process completed with exit code 2.

The operation was canceled.

The strategy configuration was canceled because "pr-ci-java-test-vectors.testJava.TestVectors_8_ubuntu-22_0" failed

The operation was canceled.

The strategy configuration was canceled because "pr-ci-java-test-vectors.testJava.TestVectors_8_ubuntu-22_0" failed

The operation was canceled.

The strategy configuration was canceled because "pr-ci-java-test-vectors.testJava.TestVectors_8_ubuntu-22_0" failed

Process completed with exit code 2.

Process completed with exit code 2.

The strategy configuration was canceled because "pr-ci-java.testJava.DynamoDbEncryption_8_maco" failed

Process completed with exit code 1.

Process completed with exit code 2.

Process completed with exit code 1.

The operation was canceled.

The strategy configuration was canceled because "pr-ci-java.testJava.DynamoDbEncryption_8_maco" failed

The operation was canceled.

The strategy configuration was canceled because "pr-ci-java.testJava.DynamoDbEncryption_8_maco" failed

Process completed with exit code 1.

Process completed with exit code 2.

Process completed with exit code 1.

Process completed with exit code 1.

Process completed with exit code 1.

Process completed with exit code 2.

Process completed with exit code 2.

Process completed with exit code 1.

Unreachable code detected

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

Unreachable code detected

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

Unreachable code detected

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

HOMEBREW_NO_INSTALLED_DEPENDENTS_CHECK is set: not checking for outdated dependents or dependents with broken linkage!

Treating docker as a formula. For the cask, use homebrew/cask/docker or specify the `--cask` flag. To silence this message, use the `--formula` flag.