Skip to content
test dotnet

chore(Java): New KeyStore KMS Configuration Examples #3375

Sign in to view logs

chore(Java): New KeyStore KMS Configuration Examples

chore(Java): New KeyStore KMS Configuration Examples #3375

Triggered via pull request June 11, 2024 00:05
@texastonytexastony
synchronize #1034
tony/chore-examples-postalHorn
Status Success
Total duration 4m 20s
Artifacts –

ci_test_net.yml

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

Annotations

53 warnings
testDotNet (DynamoDbEncryption, 6.0.x, ubuntu-latest)
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/.
testDotNet (DynamoDbEncryption, 6.0.x, ubuntu-latest): submodules/MaterialProviders/StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16911
This label has not been referenced
testDotNet (DynamoDbEncryption, 6.0.x, ubuntu-latest): submodules/MaterialProviders/StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L17094
Assignment made to same variable; did you mean to assign something else?
testDotNet (DynamoDbEncryption, 6.0.x, ubuntu-latest): submodules/MaterialProviders/StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16911
This label has not been referenced
testDotNet (DynamoDbEncryption, 6.0.x, ubuntu-latest): submodules/MaterialProviders/StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L17094
Assignment made to same variable; did you mean to assign something else?
testDotNet (DynamoDbEncryption, 6.0.x, ubuntu-latest): submodules/MaterialProviders/AwsCryptographyPrimitives/runtimes/net/ImplementationFromDafny.cs#L5143
Assignment made to same variable; did you mean to assign something else?
testDotNet (DynamoDbEncryption, 6.0.x, ubuntu-latest): submodules/MaterialProviders/AwsCryptographyPrimitives/runtimes/net/ImplementationFromDafny.cs#L5143
Assignment made to same variable; did you mean to assign something else?
testDotNet (DynamoDbEncryption, 6.0.x, ubuntu-latest): submodules/MaterialProviders/AwsCryptographicMaterialProviders/runtimes/net/ImplementationFromDafny.cs#L25772
This label has not been referenced
testDotNet (DynamoDbEncryption, 6.0.x, ubuntu-latest): submodules/MaterialProviders/AwsCryptographicMaterialProviders/runtimes/net/ImplementationFromDafny.cs#L25627
This label has not been referenced
testDotNet (DynamoDbEncryption, 6.0.x, ubuntu-latest): submodules/MaterialProviders/AwsCryptographicMaterialProviders/runtimes/net/ImplementationFromDafny.cs#L29637
The variable '_1351_maxCacheSize' is assigned but its value is never used
testDotNet (DynamoDbEncryption, 6.0.x, ubuntu-latest): submodules/MaterialProviders/AwsCryptographicMaterialProviders/runtimes/net/ImplementationFromDafny.cs#L25772
This label has not been referenced
testDotNet (DynamoDbEncryption, 6.0.x, ubuntu-latest): submodules/MaterialProviders/StandardLibrary/runtimes/net/Extern/UTF8.cs#L25
The variable 'e' is declared but never used
testDotNet (DynamoDbEncryption, 6.0.x, ubuntu-latest): submodules/MaterialProviders/StandardLibrary/runtimes/net/Extern/UTF8.cs#L30
The variable 'e' is declared but never used
testDotNet (DynamoDbEncryption, 6.0.x, ubuntu-latest): submodules/MaterialProviders/StandardLibrary/runtimes/net/Extern/UTF8.cs#L45
The variable 'e' is declared but never used
testDotNet (DynamoDbEncryption, 6.0.x, ubuntu-latest): submodules/MaterialProviders/StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16116
Unreachable code detected
testDotNet (DynamoDbEncryption, 6.0.x, ubuntu-latest): submodules/MaterialProviders/StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16157
Unreachable code detected
testDotNet (DynamoDbEncryption, 6.0.x, ubuntu-latest): submodules/MaterialProviders/StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16430
Unreachable code detected
testDotNet (DynamoDbEncryption, 6.0.x, ubuntu-latest): submodules/MaterialProviders/StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16444
Unreachable code detected
testDotNet (DynamoDbEncryption, 6.0.x, ubuntu-latest): submodules/MaterialProviders/StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16277
Unreachable code detected
testDotNet (DynamoDbEncryption, 6.0.x, ubuntu-latest): submodules/MaterialProviders/StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16318
Unreachable code detected
testDotNet (DynamoDbEncryption, 6.0.x, ubuntu-latest): submodules/MaterialProviders/StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L17258
Unreachable code detected
testDotNet (DynamoDbEncryption, 6.0.x, macos-12)
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/.
testDotNet (DynamoDbEncryption, 6.0.x, macos-12): submodules/MaterialProviders/StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L17094
Assignment made to same variable; did you mean to assign something else?
testDotNet (DynamoDbEncryption, 6.0.x, macos-12): submodules/MaterialProviders/StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16911
This label has not been referenced
testDotNet (DynamoDbEncryption, 6.0.x, macos-12): submodules/MaterialProviders/StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L17094
Assignment made to same variable; did you mean to assign something else?
testDotNet (DynamoDbEncryption, 6.0.x, macos-12): submodules/MaterialProviders/StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16911
This label has not been referenced
testDotNet (DynamoDbEncryption, 6.0.x, macos-12): submodules/MaterialProviders/AwsCryptographyPrimitives/runtimes/net/ImplementationFromDafny.cs#L5143
Assignment made to same variable; did you mean to assign something else?
testDotNet (DynamoDbEncryption, 6.0.x, macos-12): submodules/MaterialProviders/AwsCryptographyPrimitives/runtimes/net/ImplementationFromDafny.cs#L5143
Assignment made to same variable; did you mean to assign something else?
testDotNet (DynamoDbEncryption, 6.0.x, macos-12): submodules/MaterialProviders/AwsCryptographicMaterialProviders/runtimes/net/ImplementationFromDafny.cs#L25772
This label has not been referenced
testDotNet (DynamoDbEncryption, 6.0.x, macos-12): submodules/MaterialProviders/AwsCryptographicMaterialProviders/runtimes/net/ImplementationFromDafny.cs#L25627
This label has not been referenced
testDotNet (DynamoDbEncryption, 6.0.x, macos-12): submodules/MaterialProviders/AwsCryptographicMaterialProviders/runtimes/net/ImplementationFromDafny.cs#L29637
The variable '_1351_maxCacheSize' is assigned but its value is never used
testDotNet (DynamoDbEncryption, 6.0.x, macos-12): submodules/MaterialProviders/AwsCryptographicMaterialProviders/runtimes/net/ImplementationFromDafny.cs#L25772
This label has not been referenced
testDotNet (DynamoDbEncryption, 6.0.x, macos-12): submodules/MaterialProviders/StandardLibrary/runtimes/net/Extern/UTF8.cs#L25
The variable 'e' is declared but never used
testDotNet (DynamoDbEncryption, 6.0.x, macos-12): submodules/MaterialProviders/StandardLibrary/runtimes/net/Extern/UTF8.cs#L30
The variable 'e' is declared but never used
testDotNet (DynamoDbEncryption, 6.0.x, macos-12): submodules/MaterialProviders/StandardLibrary/runtimes/net/Extern/UTF8.cs#L45
The variable 'e' is declared but never used
testDotNet (DynamoDbEncryption, 6.0.x, macos-12): submodules/MaterialProviders/StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16116
Unreachable code detected
testDotNet (DynamoDbEncryption, 6.0.x, macos-12): submodules/MaterialProviders/StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16277
Unreachable code detected
testDotNet (DynamoDbEncryption, 6.0.x, macos-12): submodules/MaterialProviders/StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16157
Unreachable code detected
testDotNet (DynamoDbEncryption, 6.0.x, macos-12): submodules/MaterialProviders/StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16318
Unreachable code detected
testDotNet (DynamoDbEncryption, 6.0.x, macos-12): submodules/MaterialProviders/StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16430
Unreachable code detected
testDotNet (DynamoDbEncryption, 6.0.x, macos-12): submodules/MaterialProviders/StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16444
Unreachable code detected
testDotNet (DynamoDbEncryption, 6.0.x, macos-12): submodules/MaterialProviders/StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L17258
Unreachable code detected
testDotNet (DynamoDbEncryption, 6.0.x, windows-latest)
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/.
testDotNet (DynamoDbEncryption, 6.0.x, windows-latest): submodules/MaterialProviders/StandardLibrary/runtimes/net/Extern/UTF8.cs#L25
The variable 'e' is declared but never used
testDotNet (DynamoDbEncryption, 6.0.x, windows-latest): submodules/MaterialProviders/StandardLibrary/runtimes/net/Extern/UTF8.cs#L30
The variable 'e' is declared but never used
testDotNet (DynamoDbEncryption, 6.0.x, windows-latest): submodules/MaterialProviders/StandardLibrary/runtimes/net/Extern/UTF8.cs#L45
The variable 'e' is declared but never used
testDotNet (DynamoDbEncryption, 6.0.x, windows-latest): submodules/MaterialProviders/StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16430
Unreachable code detected
testDotNet (DynamoDbEncryption, 6.0.x, windows-latest): submodules/MaterialProviders/StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16444
Unreachable code detected
testDotNet (DynamoDbEncryption, 6.0.x, windows-latest): submodules/MaterialProviders/StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16277
Unreachable code detected
testDotNet (DynamoDbEncryption, 6.0.x, windows-latest): submodules/MaterialProviders/StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16318
Unreachable code detected
testDotNet (DynamoDbEncryption, 6.0.x, windows-latest): submodules/MaterialProviders/StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16116
Unreachable code detected
testDotNet (DynamoDbEncryption, 6.0.x, windows-latest): submodules/MaterialProviders/StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L17258
Unreachable code detected
testDotNet (DynamoDbEncryption, 6.0.x, windows-latest): submodules/MaterialProviders/StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L17147
Unreachable code detected