chore: rename EncryptionSdk Dafny module name #462

chore: rename EncryptionSdk Dafny module name

Usage Workflow file

3 errors and 11 warnings

Test .NET net6.0: 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 .NET net6.0: 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?)

Process completed with exit code 2.

ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636

Test .NET net6.0: mpl/StandardLibrary/runtimes/net/Extern/UTF8.cs#L25

The variable 'e' is declared but never used

Test .NET net6.0: mpl/StandardLibrary/runtimes/net/Extern/UTF8.cs#L30

The variable 'e' is declared but never used

Test .NET net6.0: mpl/StandardLibrary/runtimes/net/Extern/UTF8.cs#L45

The variable 'e' is declared but never used

Test .NET net6.0: mpl/StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16554

Unreachable code detected

Test .NET net6.0: mpl/StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16572

Unreachable code detected

Test .NET net6.0: mpl/StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16220

Unreachable code detected

Test .NET net6.0: mpl/StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16389

Unreachable code detected

Test .NET net6.0: mpl/StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16261

Unreachable code detected

Test .NET net6.0: mpl/StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16430

Unreachable code detected

Test .NET net6.0: mpl/StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16885

Unreachable code detected

failed Dec 10, 2024 in 3m 6s