chore: Bump to MPL HEAD, Smithy-Dafny HEAD #601

chore: Bump to MPL HEAD, Smithy-Dafny HEAD

chore: Bump to MPL HEAD, Smithy-Dafny HEAD #601

Uh oh!

There was an error while loading. Please reload this page.

Summary
Jobs
Run details
- Usage
- Workflow file

Usage Workflow file

Annotations

5 errors and 11 warnings

TestVectors/runtimes/net/Generated/DDBEncryption/DynamoDbEncryptionShim.cs#L65

There is no argument given that corresponds to the required parameter 'alt__text' of 'Error_Opaque.Error_Opaque(object, ISequence<char>)'

TestVectors/runtimes/net/Generated/DDBEncryption/TypeConversion.cs#L1607

There is no argument given that corresponds to the required parameter 'alt__text' of 'Error_Opaque.Error_Opaque(object, ISequence<char>)'

TestVectors/runtimes/net/Generated/DDBEncryption/TypeConversion.cs#L1609

There is no argument given that corresponds to the required parameter 'alt__text' of 'Error_Opaque.Error_Opaque(object, ISequence<char>)'

TestVectors/runtimes/net/Generated/DDBEncryption/TypeConversion.cs#L1612

There is no argument given that corresponds to the required parameter 'alt__text' of 'Error_Opaque.Error_Opaque(object, ISequence<char>)'

Process completed with exit code 1.

The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/

submodules/MaterialProviders/StandardLibrary/runtimes/net/Extern/UTF8.cs#L25

The variable 'e' is declared but never used

submodules/MaterialProviders/StandardLibrary/runtimes/net/Extern/UTF8.cs#L30

The variable 'e' is declared but never used

submodules/MaterialProviders/StandardLibrary/runtimes/net/Extern/UTF8.cs#L45

The variable 'e' is declared but never used

submodules/MaterialProviders/StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16335

Unreachable code detected

submodules/MaterialProviders/StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16376

Unreachable code detected

submodules/MaterialProviders/StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16500

Unreachable code detected

submodules/MaterialProviders/StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16518

Unreachable code detected

submodules/MaterialProviders/StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L17367

Unreachable code detected

submodules/MaterialProviders/StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16166

Unreachable code detected

submodules/MaterialProviders/StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16207

Unreachable code detected

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Uh oh!

chore: Bump to MPL HEAD, Smithy-Dafny HEAD #601

pr-ci-net-test-vectors / testDotNet (TestVectors, 6.0.x, ubuntu-latest)