chore: Adopt SmithyDafnyMakefile.mk, progress towards fixing nightly build · aws/aws-database-encryption-sdk-dynamodb@55514fc

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, dafny-lang/[email protected]. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

Test Build and Pack DynamoDbEncryption: DynamoDbEncryption/runtimes/net/ImplementationFromDafny.cs#L16905

This label has not been referenced

Test Build and Pack DynamoDbEncryption: DynamoDbEncryption/runtimes/net/Generated/DynamoDbEncryptionTransforms/TypeConversion.cs#L1247

The result of the expression is always 'true' since a value of type 'bool' is never equal to 'null' of type 'bool?'

Test Build and Pack DynamoDbEncryption: DynamoDbEncryption/runtimes/net/Generated/DynamoDbEncryptionTransforms/TypeConversion.cs#L1250

The result of the expression is always 'true' since a value of type 'int' is never equal to 'null' of type 'int?'

Test Build and Pack DynamoDbEncryption: DynamoDbEncryption/runtimes/net/Generated/DynamoDbEncryptionTransforms/TypeConversion.cs#L1304

The result of the expression is always 'true' since a value of type 'bool' is never equal to 'null' of type 'bool?'

Test Build and Pack DynamoDbEncryption: DynamoDbEncryption/runtimes/net/Generated/DynamoDbEncryptionTransforms/TypeConversion.cs#L1385

The result of the expression is always 'true' since a value of type 'bool' is never equal to 'null' of type 'bool?'

Test Build and Pack DynamoDbEncryption: DynamoDbEncryption/runtimes/net/Generated/DynamoDbEncryptionTransforms/TypeConversion.cs#L1389

The result of the expression is always 'true' since a value of type 'bool' is never equal to 'null' of type 'bool?'

Test Build and Pack DynamoDbEncryption: DynamoDbEncryption/runtimes/net/Generated/DynamoDbEncryptionTransforms/TypeConversion.cs#L1410

The result of the expression is always 'true' since a value of type 'int' is never equal to 'null' of type 'int?'

Test Build and Pack DynamoDbEncryption: DynamoDbEncryption/runtimes/net/Generated/DynamoDbEncryptionTransforms/TypeConversion.cs#L1411

The result of the expression is always 'true' since a value of type 'int' is never equal to 'null' of type 'int?'

Test Build and Pack DynamoDbEncryption: DynamoDbEncryption/runtimes/net/Generated/DynamoDbEncryptionTransforms/TypeConversion.cs#L1487

The result of the expression is always 'true' since a value of type 'bool' is never equal to 'null' of type 'bool?'

Test Build and Pack DynamoDbEncryption: DynamoDbEncryption/runtimes/net/Generated/DynamoDbEncryptionTransforms/TypeConversion.cs#L1501

The result of the expression is always 'true' since a value of type 'int' is never equal to 'null' of type 'int?'

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#L15577

Unreachable code detected

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

Unreachable code detected

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

Unreachable code detected

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

Unreachable code detected

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

Unreachable code detected

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

Unreachable code detected

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

Unreachable code detected

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

chore: Adopt SmithyDafnyMakefile.mk, progress towards fixing nightly build #3008

testDotNet (DynamoDbEncryption, 6.0.x, ubuntu-latest)

chore: Adopt SmithyDafnyMakefile.mk, progress towards fixing nightly build #3008

Jobs

Run details

Annotations

testDotNet (DynamoDbEncryption, 6.0.x, ubuntu-latest)

Re-running jobs...