test dotnet · aws/aws-database-encryption-sdk-dynamodb@8f8471a

The job was canceled because "DynamoDbEncryption_6_0__2" failed.

Test DynamoDbEncryption net6.0: DynamoDbEncryption/runtimes/net/ImplementationFromDafny.cs#L29526

The type or namespace name 'nat' does not exist in the namespace '_System' (are you missing an assembly reference?)

Test DynamoDbEncryption net6.0: DynamoDbEncryption/runtimes/net/ImplementationFromDafny.cs#L29529

The type or namespace name 'nat' does not exist in the namespace '_System' (are you missing an assembly reference?)

Test DynamoDbEncryption net6.0: DynamoDbEncryption/runtimes/net/ImplementationFromDafny.cs#L29526

The type or namespace name 'nat' does not exist in the namespace '_System' (are you missing an assembly reference?)

Test DynamoDbEncryption net6.0: DynamoDbEncryption/runtimes/net/ImplementationFromDafny.cs#L29529

The type or namespace name 'nat' does not exist in the namespace '_System' (are you missing an assembly reference?)

Test DynamoDbEncryption net6.0: DynamoDbEncryption/runtimes/net/ImplementationFromDafny.cs#L29526

The type or namespace name 'nat' does not exist in the namespace '_System' (are you missing an assembly reference?)

Test DynamoDbEncryption net6.0: DynamoDbEncryption/runtimes/net/ImplementationFromDafny.cs#L29529

The type or namespace name 'nat' does not exist in the namespace '_System' (are you missing an assembly reference?)

Test DynamoDbEncryption net6.0: DynamoDbEncryption/runtimes/net/ImplementationFromDafny.cs#L29526

The type or namespace name 'nat' does not exist in the namespace '_System' (are you missing an assembly reference?)

Test DynamoDbEncryption net6.0: DynamoDbEncryption/runtimes/net/ImplementationFromDafny.cs#L29529

The type or namespace name 'nat' does not exist in the namespace '_System' (are you missing an assembly reference?)

Test DynamoDbEncryption net6.0

The operation was canceled.

Test DynamoDbEncryption net6.0: submodules/MaterialProviders/StandardLibrary/runtimes/net/Extern/UTF8.cs#L25

The variable 'e' is declared but never used

Test DynamoDbEncryption net6.0: submodules/MaterialProviders/StandardLibrary/runtimes/net/Extern/UTF8.cs#L30

The variable 'e' is declared but never used

Test DynamoDbEncryption net6.0: submodules/MaterialProviders/StandardLibrary/runtimes/net/Extern/UTF8.cs#L45

The variable 'e' is declared but never used

Test DynamoDbEncryption net6.0: submodules/MaterialProviders/StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16179

Unreachable code detected

Test DynamoDbEncryption net6.0: submodules/MaterialProviders/StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16348

Unreachable code detected

Test DynamoDbEncryption net6.0: submodules/MaterialProviders/StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16220

Unreachable code detected

Test DynamoDbEncryption net6.0: submodules/MaterialProviders/StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16389

Unreachable code detected

Test DynamoDbEncryption net6.0: submodules/MaterialProviders/StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16509

Unreachable code detected

Test DynamoDbEncryption net6.0: submodules/MaterialProviders/StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L17353

Unreachable code detected

Test DynamoDbEncryption net6.0: submodules/MaterialProviders/StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L17242

Unreachable code detected

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Uh oh!

test dotnet #3195

testDotNet (DynamoDbEncryption, 6.0.x, macos-12)

test dotnet #3195

Uh oh!

Jobs

Run details

Annotations

The logs for this run have expired and are no longer available.

Re-running jobs...