Skip to content
test dotnet

feat: dotnet examples #2101

Sign in to view logs

feat: dotnet examples

feat: dotnet examples #2101

Triggered via pull request November 7, 2023 15:18
@ajewellamzajewellamz
synchronize #482
dotnet-example
Status Success
Total duration 2m 48s
Artifacts –

ci_test_net.yml

on: pull_request
Matrix: testDotNet
Fit to window
Zoom out
Zoom in

Annotations

10 warnings
testDotNet (DynamoDbEncryption, 6.0.x, macos-latest): submodules/MaterialProviders/AwsCryptographicMaterialProviders/runtimes/net/ImplementationFromDafny.cs#L28624
The variable '_1269_maxCacheSize' is assigned but its value is never used
testDotNet (DynamoDbEncryption, 6.0.x, macos-latest): submodules/MaterialProviders/AwsCryptographicMaterialProviders/runtimes/net/ImplementationFromDafny.cs#L24801
This label has not been referenced
testDotNet (DynamoDbEncryption, 6.0.x, macos-latest): submodules/MaterialProviders/AwsCryptographicMaterialProviders/runtimes/net/ImplementationFromDafny.cs#L24656
This label has not been referenced
testDotNet (DynamoDbEncryption, 6.0.x, macos-latest): DynamoDbEncryption/runtimes/net/ImplementationFromDafny.cs#L16173
This label has not been referenced
testDotNet (DynamoDbEncryption, 6.0.x, macos-latest): 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?'
testDotNet (DynamoDbEncryption, 6.0.x, macos-latest): 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?'
testDotNet (DynamoDbEncryption, 6.0.x, macos-latest): 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?'
testDotNet (DynamoDbEncryption, 6.0.x, macos-latest): DynamoDbEncryption/runtimes/net/Generated/DynamoDbEncryptionTransforms/TypeConversion.cs#L1384
The result of the expression is always 'true' since a value of type 'int' is never equal to 'null' of type 'int?'
testDotNet (DynamoDbEncryption, 6.0.x, macos-latest): 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?'
testDotNet (DynamoDbEncryption, 6.0.x, macos-latest): 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?'