chore(Test Vector): Add interop test for Go #451

chore(Test Vector): Add interop test for Go

chore(Test Vector): Add interop test for Go #451

Summary
Jobs
Run details
- Usage
- Workflow file

Usage Workflow file

Annotations

6 errors and 10 warnings

The job was canceled because "TestVectors_ubuntu-late_3" failed.

Test legacy vectors via CLI: mpl/AwsCryptographyPrimitives/runtimes/net/Extern/ECDH.cs#L36

The type or namespace name 'EccKeyPair' could not be found (are you missing a using directive or an assembly reference?)

Test legacy vectors via CLI: mpl/AwsCryptographyPrimitives/runtimes/net/Extern/Signature.cs#L29

The type or namespace name 'SignatureKeyPair' could not be found (are you missing a using directive or an assembly reference?)

Test legacy vectors via CLI: mpl/AwsCryptographyPrimitives/runtimes/net/Extern/ECDH.cs#L36

The type or namespace name 'EccKeyPair' could not be found (are you missing a using directive or an assembly reference?)

Test legacy vectors via CLI: mpl/AwsCryptographyPrimitives/runtimes/net/Extern/Signature.cs#L29

The type or namespace name 'SignatureKeyPair' could not be found (are you missing a using directive or an assembly reference?)

Test legacy vectors via CLI

The operation was canceled.

Test legacy vectors via CLI: mpl/StandardLibrary/runtimes/net/Extern/UTF8.cs#L25

The variable 'e' is declared but never used

Test legacy vectors via CLI: mpl/StandardLibrary/runtimes/net/Extern/UTF8.cs#L30

The variable 'e' is declared but never used

Test legacy vectors via CLI: mpl/StandardLibrary/runtimes/net/Extern/UTF8.cs#L45

The variable 'e' is declared but never used

Test legacy vectors via CLI: mpl/StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16554

Unreachable code detected

Test legacy vectors via CLI: mpl/StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16572

Unreachable code detected

Test legacy vectors via CLI: mpl/StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16389

Unreachable code detected

Test legacy vectors via CLI: mpl/StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16430

Unreachable code detected

Test legacy vectors via CLI: mpl/StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16220

Unreachable code detected

Test legacy vectors via CLI: mpl/StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16261

Unreachable code detected

Test legacy vectors via CLI: mpl/StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16885

Unreachable code detected

pr-dafny-legacy-test-vectors / decryptEncryptVectors (TestVectors, ubuntu-latest, net, aws-encryption-sdk-test-vectors/vectors/a...

cancelled Dec 9, 2024 in 2m 59s

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

chore(Test Vector): Add interop test for Go #451

pr-dafny-legacy-test-vectors / decryptEncryptVectors (TestVectors, ubuntu-latest, net, aws-encryption-sdk-test-vectors/vectors/a...