Skip to content
PR CI

chore(deps): bump actions/download-artifact from 7 to 8 in /.github/workflows #6256

Sign in to view logs

chore(deps): bump actions/download-artifact from 7 to 8 in /.github/workflows

chore(deps): bump actions/download-artifact from 7 to 8 in /.github/workflows #6256

Triggered via pull request February 27, 2026 18:04
@dependabotdependabot[bot]
opened #1808
dependabot/github_actions/dot-github/workflows/actions/download-artifact-8
Status Failure
Total duration 1h 40m 32s
Artifacts 20

pull.yml

on: pull_request
getVersions  /  getDafnyVersion
8s
getVersions / getDafnyVersion
Matrix: pr-ci-codegen / code-generation
Matrix: pr-ci-format / format_projects
Matrix: pr-ci-go / testGo
Matrix: pr-ci-java / testJava
Matrix: pr-ci-net / testDotNet
Matrix: pr-ci-python / testPython
Matrix: pr-ci-rust / testRust
Matrix: pr-ci-verification / verification
Matrix: pr-fuzz-interop-test / generateEncryptVectors
Matrix: pr-interop-test / generateEncryptVectors
pr-ci-format  /  format_java_misc
25s
pr-ci-format / format_java_misc
pr-ci-db-esdk-java-examples-test  /  test-dbesdk-examples
16m 50s
pr-ci-db-esdk-java-examples-test / test-dbesdk-examples
Matrix: pr-fuzz-interop-test / testInteroperablity
Matrix: pr-interop-test / testInteroperablity
pr-ci-all-required
7s
pr-ci-all-required
Fit to window
Zoom out
Zoom in

Annotations

2 errors and 713 warnings
pr-ci-db-esdk-java-examples-test / test-dbesdk-examples
Process completed with exit code 1.
pr-ci-all-required
Process completed with exit code 1.
Workflow syntax warning: .github/workflows/pull.yml#L31
In .github/workflows/pull.yml (Line: 31, Col: 11): Error from called workflow aws/aws-cryptographic-material-providers-library/.github/workflows/library_java_tests.yml@ef5efef409e4504ce8348b9cd355316707e4a5dd (Line: 86, Col: 13): Conditional expression contains literal text outside replacement tokens. This will cause the expression to always evaluate to truthy. Did you mean to put the entire expression inside ${{ }}?
pr-ci-rust / testRust (StandardLibrary, macos-14)
Restore cache failed: Dependencies file is not found in /Users/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.mod
pr-ci-rust / testRust (StandardLibrary, macos-14)
Restore cache failed: Dependencies file is not found in /Users/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.mod
pr-ci-net / testDotNet (ComAmazonawsDynamodb, 6.0.x, macos-14): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L17176
Unreachable code detected
pr-ci-net / testDotNet (ComAmazonawsDynamodb, 6.0.x, macos-14): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L18271
Unreachable code detected
pr-ci-net / testDotNet (ComAmazonawsDynamodb, 6.0.x, macos-14): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L18244
Unreachable code detected
pr-ci-net / testDotNet (ComAmazonawsDynamodb, 6.0.x, macos-14): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L18367
Unreachable code detected
pr-ci-net / testDotNet (ComAmazonawsDynamodb, 6.0.x, macos-14): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L18339
Unreachable code detected
pr-ci-net / testDotNet (ComAmazonawsDynamodb, 6.0.x, macos-14): StandardLibrary/runtimes/net/Extern/UTF8.cs#L45
The variable 'e' is declared but never used
pr-ci-net / testDotNet (ComAmazonawsDynamodb, 6.0.x, macos-14): StandardLibrary/runtimes/net/Extern/UTF8.cs#L30
The variable 'e' is declared but never used
pr-ci-net / testDotNet (ComAmazonawsDynamodb, 6.0.x, macos-14): StandardLibrary/runtimes/net/Extern/UTF8.cs#L25
The variable 'e' is declared but never used
pr-ci-net / testDotNet (ComAmazonawsDynamodb, 6.0.x, macos-14)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-ci-net / testDotNet (ComAmazonawsDynamodb, 6.0.x, macos-14)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-ci-net / testDotNet (ComAmazonawsDynamodb, 6.0.x, macos-14)
Restore cache failed: Dependencies file is not found in /Users/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.mod
pr-ci-net / testDotNet (ComAmazonawsDynamodb, 6.0.x, macos-14)
openssl@3 3.6.1 is already installed and up-to-date. To reinstall 3.6.1, run: brew reinstall openssl@3
pr-ci-format / format_projects (StandardLibrary, ubuntu-22.04)
Restore cache failed: Dependencies file is not found in /home/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.mod
pr-ci-codegen / code-generation (ComAmazonawsKms, 6.0.x, 3.11, 1.23, ubuntu-22.04)
Restore cache failed: Dependencies file is not found in /home/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.mod
pr-ci-codegen / code-generation (ComAmazonawsKms, 6.0.x, 3.11, 1.23, ubuntu-22.04)
Restore cache failed: Dependencies file is not found in /home/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.mod
pr-ci-go / testGo (AwsCryptographyPrimitives, 1.25, macos-14)
Restore cache failed: Dependencies file is not found in /Users/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.mod
pr-ci-go / testGo (AwsCryptographyPrimitives, 1.25, macos-14)
Restore cache failed: Dependencies file is not found in /Users/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.mod
pr-ci-codegen / code-generation (StandardLibrary, 6.0.x, 3.11, 1.23, ubuntu-22.04)
Restore cache failed: Dependencies file is not found in /home/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.mod
pr-ci-codegen / code-generation (StandardLibrary, 6.0.x, 3.11, 1.23, ubuntu-22.04)
Restore cache failed: Dependencies file is not found in /home/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.mod
pr-ci-format / format_projects (AwsCryptographyPrimitives, ubuntu-22.04)
Restore cache failed: Dependencies file is not found in /home/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.mod
pr-ci-java / testJava (ComAmazonawsDynamodb, macos-14, 19)
Restore cache failed: Dependencies file is not found in /Users/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.mod
pr-ci-verification / verification (ComAmazonawsDynamodb, macos-latest-large)
Restore cache failed: Dependencies file is not found in /Users/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.mod
pr-ci-format / format_projects (ComAmazonawsDynamodb, ubuntu-22.04)
Restore cache failed: Dependencies file is not found in /home/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.mod
pr-ci-net / testDotNet (StandardLibrary, 6.0.x, macos-14): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L17341
Unreachable code detected
pr-ci-net / testDotNet (StandardLibrary, 6.0.x, macos-14): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L18271
Unreachable code detected
pr-ci-net / testDotNet (StandardLibrary, 6.0.x, macos-14): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L18244
Unreachable code detected
pr-ci-net / testDotNet (StandardLibrary, 6.0.x, macos-14): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L18367
Unreachable code detected
pr-ci-net / testDotNet (StandardLibrary, 6.0.x, macos-14): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L18339
Unreachable code detected
pr-ci-net / testDotNet (StandardLibrary, 6.0.x, macos-14): StandardLibrary/runtimes/net/Extern/UTF8.cs#L45
The variable 'e' is declared but never used
pr-ci-net / testDotNet (StandardLibrary, 6.0.x, macos-14): StandardLibrary/runtimes/net/Extern/UTF8.cs#L30
The variable 'e' is declared but never used
pr-ci-net / testDotNet (StandardLibrary, 6.0.x, macos-14): StandardLibrary/runtimes/net/Extern/UTF8.cs#L25
The variable 'e' is declared but never used
pr-ci-net / testDotNet (StandardLibrary, 6.0.x, macos-14)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-ci-net / testDotNet (StandardLibrary, 6.0.x, macos-14)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-ci-net / testDotNet (StandardLibrary, 6.0.x, macos-14)
Restore cache failed: Dependencies file is not found in /Users/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.mod
pr-ci-net / testDotNet (StandardLibrary, 6.0.x, macos-14)
openssl@3 3.6.1 is already installed and up-to-date. To reinstall 3.6.1, run: brew reinstall openssl@3
pr-ci-format / format_projects (TestVectorsAwsCryptographicMaterialProviders, ubuntu-22.04)
Restore cache failed: Dependencies file is not found in /home/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.mod
pr-ci-python / testPython (ComAmazonawsDynamodb, 3.13, macos-14)
Restore cache failed: Dependencies file is not found in /Users/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.mod
pr-ci-go / testGo (ComAmazonawsKms, 1.24, ubuntu-22.04)
Restore cache failed: Dependencies file is not found in /home/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.mod
pr-ci-go / testGo (ComAmazonawsKms, 1.24, ubuntu-22.04)
Restore cache failed: Dependencies file is not found in /home/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.mod
pr-ci-java / testJava (AwsCryptographyPrimitives, macos-14, 17)
Restore cache failed: Dependencies file is not found in /Users/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.mod
pr-ci-go / testGo (ComAmazonawsDynamodb, 1.25, ubuntu-22.04)
Restore cache failed: Dependencies file is not found in /home/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.mod
pr-ci-go / testGo (ComAmazonawsDynamodb, 1.25, ubuntu-22.04)
Restore cache failed: Dependencies file is not found in /home/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.mod
pr-ci-format / format_projects (AwsCryptographicMaterialProviders, ubuntu-22.04)
Restore cache failed: Dependencies file is not found in /home/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.mod
pr-ci-verification / verification (StandardLibrary, macos-latest-large)
Restore cache failed: Dependencies file is not found in /Users/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.mod
pr-ci-codegen / code-generation (AwsCryptographyPrimitives, 6.0.x, 3.11, 1.23, ubuntu-22.04)
Restore cache failed: Dependencies file is not found in /home/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.mod
pr-ci-codegen / code-generation (AwsCryptographyPrimitives, 6.0.x, 3.11, 1.23, ubuntu-22.04)
Restore cache failed: Dependencies file is not found in /home/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.mod
pr-ci-format / format_projects (ComAmazonawsKms, ubuntu-22.04)
Restore cache failed: Dependencies file is not found in /home/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.mod
pr-ci-codegen / code-generation (ComAmazonawsDynamodb, 6.0.x, 3.11, 1.23, ubuntu-22.04)
Restore cache failed: Dependencies file is not found in /home/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.mod
pr-ci-codegen / code-generation (ComAmazonawsDynamodb, 6.0.x, 3.11, 1.23, ubuntu-22.04)
Restore cache failed: Dependencies file is not found in /home/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.mod
pr-ci-rust / testRust (StandardLibrary, ubuntu-22.04)
Restore cache failed: Dependencies file is not found in /home/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.mod
pr-ci-rust / testRust (StandardLibrary, ubuntu-22.04)
Restore cache failed: Dependencies file is not found in /home/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.mod
pr-ci-java / testJava (StandardLibrary, ubuntu-22.04, 19)
Restore cache failed: Dependencies file is not found in /home/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.mod
pr-ci-verification / verification (ComAmazonawsKms, macos-latest-large)
Restore cache failed: Dependencies file is not found in /Users/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.mod
pr-ci-go / testGo (ComAmazonawsDynamodb, 1.24, ubuntu-22.04)
Restore cache failed: Dependencies file is not found in /home/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.mod
pr-ci-go / testGo (ComAmazonawsDynamodb, 1.24, ubuntu-22.04)
Restore cache failed: Dependencies file is not found in /home/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.mod
pr-ci-java / testJava (ComAmazonawsDynamodb, ubuntu-22.04, 17)
Restore cache failed: Dependencies file is not found in /home/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.mod
pr-ci-java / testJava (ComAmazonawsKms, ubuntu-22.04, 19)
Restore cache failed: Dependencies file is not found in /home/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.mod
pr-ci-verification / verification (AwsCryptographyPrimitives, macos-latest-large)
Restore cache failed: Dependencies file is not found in /Users/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.mod
pr-ci-python / testPython (ComAmazonawsDynamodb, 3.13, ubuntu-22.04)
Restore cache failed: Dependencies file is not found in /home/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.mod
pr-ci-net / testDotNet (ComAmazonawsDynamodb, 6.0.x, ubuntu-22.04): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L17341
Unreachable code detected
pr-ci-net / testDotNet (ComAmazonawsDynamodb, 6.0.x, ubuntu-22.04): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L18271
Unreachable code detected
pr-ci-net / testDotNet (ComAmazonawsDynamodb, 6.0.x, ubuntu-22.04): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L18244
Unreachable code detected
pr-ci-net / testDotNet (ComAmazonawsDynamodb, 6.0.x, ubuntu-22.04): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L18367
Unreachable code detected
pr-ci-net / testDotNet (ComAmazonawsDynamodb, 6.0.x, ubuntu-22.04): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L18339
Unreachable code detected
pr-ci-net / testDotNet (ComAmazonawsDynamodb, 6.0.x, ubuntu-22.04): StandardLibrary/runtimes/net/Extern/UTF8.cs#L45
The variable 'e' is declared but never used
pr-ci-net / testDotNet (ComAmazonawsDynamodb, 6.0.x, ubuntu-22.04): StandardLibrary/runtimes/net/Extern/UTF8.cs#L30
The variable 'e' is declared but never used
pr-ci-net / testDotNet (ComAmazonawsDynamodb, 6.0.x, ubuntu-22.04): StandardLibrary/runtimes/net/Extern/UTF8.cs#L25
The variable 'e' is declared but never used
pr-ci-net / testDotNet (ComAmazonawsDynamodb, 6.0.x, ubuntu-22.04)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-ci-net / testDotNet (ComAmazonawsDynamodb, 6.0.x, ubuntu-22.04)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-ci-net / testDotNet (ComAmazonawsDynamodb, 6.0.x, ubuntu-22.04)
Restore cache failed: Dependencies file is not found in /home/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.mod
pr-ci-net / testDotNet (AwsCryptographicMaterialProviders, 6.0.x, macos-14): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L17341
Unreachable code detected
pr-ci-net / testDotNet (AwsCryptographicMaterialProviders, 6.0.x, macos-14): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L17217
Unreachable code detected
pr-ci-net / testDotNet (AwsCryptographicMaterialProviders, 6.0.x, macos-14): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L17176
Unreachable code detected
pr-ci-net / testDotNet (AwsCryptographicMaterialProviders, 6.0.x, macos-14): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L18271
Unreachable code detected
pr-ci-net / testDotNet (AwsCryptographicMaterialProviders, 6.0.x, macos-14): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L18244
Unreachable code detected
pr-ci-net / testDotNet (AwsCryptographicMaterialProviders, 6.0.x, macos-14): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L18367
Unreachable code detected
pr-ci-net / testDotNet (AwsCryptographicMaterialProviders, 6.0.x, macos-14): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L18339
Unreachable code detected
pr-ci-net / testDotNet (AwsCryptographicMaterialProviders, 6.0.x, macos-14): StandardLibrary/runtimes/net/Extern/UTF8.cs#L45
The variable 'e' is declared but never used
pr-ci-net / testDotNet (AwsCryptographicMaterialProviders, 6.0.x, macos-14): StandardLibrary/runtimes/net/Extern/UTF8.cs#L30
The variable 'e' is declared but never used
pr-ci-net / testDotNet (AwsCryptographicMaterialProviders, 6.0.x, macos-14): StandardLibrary/runtimes/net/Extern/UTF8.cs#L25
The variable 'e' is declared but never used
pr-ci-net / testDotNet (AwsCryptographicMaterialProviders, 6.0.x, macos-14): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L17176
Unreachable code detected
pr-ci-net / testDotNet (AwsCryptographicMaterialProviders, 6.0.x, macos-14): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L18271
Unreachable code detected
pr-ci-net / testDotNet (AwsCryptographicMaterialProviders, 6.0.x, macos-14): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L18244
Unreachable code detected
pr-ci-net / testDotNet (AwsCryptographicMaterialProviders, 6.0.x, macos-14): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L18367
Unreachable code detected
pr-ci-net / testDotNet (AwsCryptographicMaterialProviders, 6.0.x, macos-14): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L18339
Unreachable code detected
pr-ci-net / testDotNet (AwsCryptographicMaterialProviders, 6.0.x, macos-14): StandardLibrary/runtimes/net/Extern/UTF8.cs#L45
The variable 'e' is declared but never used
pr-ci-net / testDotNet (AwsCryptographicMaterialProviders, 6.0.x, macos-14): StandardLibrary/runtimes/net/Extern/UTF8.cs#L30
The variable 'e' is declared but never used
pr-ci-net / testDotNet (AwsCryptographicMaterialProviders, 6.0.x, macos-14): StandardLibrary/runtimes/net/Extern/UTF8.cs#L25
The variable 'e' is declared but never used
pr-ci-net / testDotNet (AwsCryptographicMaterialProviders, 6.0.x, macos-14)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-ci-net / testDotNet (AwsCryptographicMaterialProviders, 6.0.x, macos-14)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-ci-net / testDotNet (AwsCryptographicMaterialProviders, 6.0.x, macos-14)
Restore cache failed: Dependencies file is not found in /Users/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.mod
pr-ci-net / testDotNet (AwsCryptographicMaterialProviders, 6.0.x, macos-14)
openssl@3 3.6.1 is already installed and up-to-date. To reinstall 3.6.1, run: brew reinstall openssl@3
pr-ci-net / testDotNet (ComAmazonawsDynamodb, 6.0.x, windows-latest): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L17217
Unreachable code detected
pr-ci-net / testDotNet (ComAmazonawsDynamodb, 6.0.x, windows-latest): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L18244
Unreachable code detected
pr-ci-net / testDotNet (ComAmazonawsDynamodb, 6.0.x, windows-latest): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L17176
Unreachable code detected
pr-ci-net / testDotNet (ComAmazonawsDynamodb, 6.0.x, windows-latest): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L18367
Unreachable code detected
pr-ci-net / testDotNet (ComAmazonawsDynamodb, 6.0.x, windows-latest): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L18339
Unreachable code detected
pr-ci-net / testDotNet (ComAmazonawsDynamodb, 6.0.x, windows-latest): StandardLibrary/runtimes/net/Extern/UTF8.cs#L45
The variable 'e' is declared but never used
pr-ci-net / testDotNet (ComAmazonawsDynamodb, 6.0.x, windows-latest): StandardLibrary/runtimes/net/Extern/UTF8.cs#L30
The variable 'e' is declared but never used
pr-ci-net / testDotNet (ComAmazonawsDynamodb, 6.0.x, windows-latest): StandardLibrary/runtimes/net/Extern/UTF8.cs#L25
The variable 'e' is declared but never used
pr-ci-net / testDotNet (ComAmazonawsDynamodb, 6.0.x, windows-latest)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-ci-net / testDotNet (ComAmazonawsDynamodb, 6.0.x, windows-latest)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-ci-net / testDotNet (ComAmazonawsDynamodb, 6.0.x, windows-latest)
Restore cache failed: Dependencies file is not found in D:\a\aws-cryptographic-material-providers-library\aws-cryptographic-material-providers-library. Supported file pattern: go.mod
pr-ci-net / testDotNet (StandardLibrary, 6.0.x, ubuntu-22.04): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L17341
Unreachable code detected
pr-ci-net / testDotNet (StandardLibrary, 6.0.x, ubuntu-22.04): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L18271
Unreachable code detected
pr-ci-net / testDotNet (StandardLibrary, 6.0.x, ubuntu-22.04): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L18244
Unreachable code detected
pr-ci-net / testDotNet (StandardLibrary, 6.0.x, ubuntu-22.04): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L18367
Unreachable code detected
pr-ci-net / testDotNet (StandardLibrary, 6.0.x, ubuntu-22.04): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L18339
Unreachable code detected
pr-ci-net / testDotNet (StandardLibrary, 6.0.x, ubuntu-22.04): StandardLibrary/runtimes/net/Extern/UTF8.cs#L45
The variable 'e' is declared but never used
pr-ci-net / testDotNet (StandardLibrary, 6.0.x, ubuntu-22.04): StandardLibrary/runtimes/net/Extern/UTF8.cs#L30
The variable 'e' is declared but never used
pr-ci-net / testDotNet (StandardLibrary, 6.0.x, ubuntu-22.04): StandardLibrary/runtimes/net/Extern/UTF8.cs#L25
The variable 'e' is declared but never used
pr-ci-net / testDotNet (StandardLibrary, 6.0.x, ubuntu-22.04)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-ci-net / testDotNet (StandardLibrary, 6.0.x, ubuntu-22.04)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-ci-net / testDotNet (StandardLibrary, 6.0.x, ubuntu-22.04)
Restore cache failed: Dependencies file is not found in /home/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.mod
pr-ci-java / testJava (AwsCryptographyPrimitives, ubuntu-22.04, 8)
Restore cache failed: Dependencies file is not found in /home/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.mod
pr-ci-python / testPython (AwsCryptographyPrimitives, 3.11, ubuntu-22.04)
Restore cache failed: Dependencies file is not found in /home/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.mod
pr-ci-net / testDotNet (AwsCryptographyPrimitives, 6.0.x, ubuntu-22.04): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L17341
Unreachable code detected
pr-ci-net / testDotNet (AwsCryptographyPrimitives, 6.0.x, ubuntu-22.04): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L18271
Unreachable code detected
pr-ci-net / testDotNet (AwsCryptographyPrimitives, 6.0.x, ubuntu-22.04): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L18244
Unreachable code detected
pr-ci-net / testDotNet (AwsCryptographyPrimitives, 6.0.x, ubuntu-22.04): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L18367
Unreachable code detected
pr-ci-net / testDotNet (AwsCryptographyPrimitives, 6.0.x, ubuntu-22.04): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L18339
Unreachable code detected
pr-ci-net / testDotNet (AwsCryptographyPrimitives, 6.0.x, ubuntu-22.04): StandardLibrary/runtimes/net/Extern/UTF8.cs#L45
The variable 'e' is declared but never used
pr-ci-net / testDotNet (AwsCryptographyPrimitives, 6.0.x, ubuntu-22.04): StandardLibrary/runtimes/net/Extern/UTF8.cs#L30
The variable 'e' is declared but never used
pr-ci-net / testDotNet (AwsCryptographyPrimitives, 6.0.x, ubuntu-22.04): StandardLibrary/runtimes/net/Extern/UTF8.cs#L25
The variable 'e' is declared but never used
pr-ci-net / testDotNet (AwsCryptographyPrimitives, 6.0.x, ubuntu-22.04)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-ci-net / testDotNet (AwsCryptographyPrimitives, 6.0.x, ubuntu-22.04)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-ci-net / testDotNet (AwsCryptographyPrimitives, 6.0.x, ubuntu-22.04)
Restore cache failed: Dependencies file is not found in /home/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.mod
pr-ci-net / testDotNet (StandardLibrary, 6.0.x, windows-latest): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L17834
Unreachable code detected
pr-ci-net / testDotNet (StandardLibrary, 6.0.x, windows-latest): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L17176
Unreachable code detected
pr-ci-net / testDotNet (StandardLibrary, 6.0.x, windows-latest): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L17774
Unreachable code detected
pr-ci-net / testDotNet (StandardLibrary, 6.0.x, windows-latest): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L17377
Unreachable code detected
pr-ci-net / testDotNet (StandardLibrary, 6.0.x, windows-latest): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L17359
Unreachable code detected
pr-ci-net / testDotNet (StandardLibrary, 6.0.x, windows-latest): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L17341
Unreachable code detected
pr-ci-net / testDotNet (StandardLibrary, 6.0.x, windows-latest): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L18367
Unreachable code detected
pr-ci-net / testDotNet (StandardLibrary, 6.0.x, windows-latest): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L18339
Unreachable code detected
pr-ci-net / testDotNet (StandardLibrary, 6.0.x, windows-latest)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-ci-net / testDotNet (StandardLibrary, 6.0.x, windows-latest)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-ci-net / testDotNet (StandardLibrary, 6.0.x, windows-latest)
Restore cache failed: Dependencies file is not found in D:\a\aws-cryptographic-material-providers-library\aws-cryptographic-material-providers-library. Supported file pattern: go.mod
pr-ci-net / testDotNet (ComAmazonawsKms, 6.0.x, ubuntu-22.04): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L17176
Unreachable code detected
pr-ci-net / testDotNet (ComAmazonawsKms, 6.0.x, ubuntu-22.04): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L18271
Unreachable code detected
pr-ci-net / testDotNet (ComAmazonawsKms, 6.0.x, ubuntu-22.04): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L18244
Unreachable code detected
pr-ci-net / testDotNet (ComAmazonawsKms, 6.0.x, ubuntu-22.04): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L18367
Unreachable code detected
pr-ci-net / testDotNet (ComAmazonawsKms, 6.0.x, ubuntu-22.04): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L18339
Unreachable code detected
pr-ci-net / testDotNet (ComAmazonawsKms, 6.0.x, ubuntu-22.04): StandardLibrary/runtimes/net/Extern/UTF8.cs#L45
The variable 'e' is declared but never used
pr-ci-net / testDotNet (ComAmazonawsKms, 6.0.x, ubuntu-22.04): StandardLibrary/runtimes/net/Extern/UTF8.cs#L30
The variable 'e' is declared but never used
pr-ci-net / testDotNet (ComAmazonawsKms, 6.0.x, ubuntu-22.04): StandardLibrary/runtimes/net/Extern/UTF8.cs#L25
The variable 'e' is declared but never used
pr-ci-net / testDotNet (ComAmazonawsKms, 6.0.x, ubuntu-22.04)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-ci-net / testDotNet (ComAmazonawsKms, 6.0.x, ubuntu-22.04)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-ci-net / testDotNet (ComAmazonawsKms, 6.0.x, ubuntu-22.04)
Restore cache failed: Dependencies file is not found in /home/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.mod
pr-ci-net / testDotNet (ComAmazonawsKms, 6.0.x, windows-latest): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L17176
Unreachable code detected
pr-ci-net / testDotNet (ComAmazonawsKms, 6.0.x, windows-latest): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L18271
Unreachable code detected
pr-ci-net / testDotNet (ComAmazonawsKms, 6.0.x, windows-latest): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L18244
Unreachable code detected
pr-ci-net / testDotNet (ComAmazonawsKms, 6.0.x, windows-latest): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L18367
Unreachable code detected
pr-ci-net / testDotNet (ComAmazonawsKms, 6.0.x, windows-latest): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L18339
Unreachable code detected
pr-ci-net / testDotNet (ComAmazonawsKms, 6.0.x, windows-latest): StandardLibrary/runtimes/net/Extern/UTF8.cs#L45
The variable 'e' is declared but never used
pr-ci-net / testDotNet (ComAmazonawsKms, 6.0.x, windows-latest): StandardLibrary/runtimes/net/Extern/UTF8.cs#L30
The variable 'e' is declared but never used
pr-ci-net / testDotNet (ComAmazonawsKms, 6.0.x, windows-latest): StandardLibrary/runtimes/net/Extern/UTF8.cs#L25
The variable 'e' is declared but never used
pr-ci-net / testDotNet (ComAmazonawsKms, 6.0.x, windows-latest)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-ci-net / testDotNet (ComAmazonawsKms, 6.0.x, windows-latest)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-ci-net / testDotNet (ComAmazonawsKms, 6.0.x, windows-latest)
Restore cache failed: Dependencies file is not found in D:\a\aws-cryptographic-material-providers-library\aws-cryptographic-material-providers-library. Supported file pattern: go.mod
pr-ci-python / testPython (AwsCryptographyPrimitives, 3.13, ubuntu-22.04)
Restore cache failed: Dependencies file is not found in /home/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.mod
pr-ci-net / testDotNet (AwsCryptographyPrimitives, 6.0.x, windows-latest): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L17359
Unreachable code detected
pr-ci-net / testDotNet (AwsCryptographyPrimitives, 6.0.x, windows-latest): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L17341
Unreachable code detected
pr-ci-net / testDotNet (AwsCryptographyPrimitives, 6.0.x, windows-latest): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L18244
Unreachable code detected
pr-ci-net / testDotNet (AwsCryptographyPrimitives, 6.0.x, windows-latest): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L18367
Unreachable code detected
pr-ci-net / testDotNet (AwsCryptographyPrimitives, 6.0.x, windows-latest): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L18339
Unreachable code detected
pr-ci-net / testDotNet (AwsCryptographyPrimitives, 6.0.x, windows-latest): StandardLibrary/runtimes/net/Extern/UTF8.cs#L45
The variable 'e' is declared but never used
pr-ci-net / testDotNet (AwsCryptographyPrimitives, 6.0.x, windows-latest): StandardLibrary/runtimes/net/Extern/UTF8.cs#L30
The variable 'e' is declared but never used
pr-ci-net / testDotNet (AwsCryptographyPrimitives, 6.0.x, windows-latest): StandardLibrary/runtimes/net/Extern/UTF8.cs#L25
The variable 'e' is declared but never used
pr-ci-net / testDotNet (AwsCryptographyPrimitives, 6.0.x, windows-latest)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-ci-net / testDotNet (AwsCryptographyPrimitives, 6.0.x, windows-latest)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-ci-python / testPython (ComAmazonawsDynamodb, 3.11, ubuntu-22.04)
Restore cache failed: Dependencies file is not found in /home/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.mod
pr-ci-net / testDotNet (AwsCryptographyPrimitives, 6.0.x, windows-latest)
Restore cache failed: Dependencies file is not found in D:\a\aws-cryptographic-material-providers-library\aws-cryptographic-material-providers-library. Supported file pattern: go.mod
pr-ci-net / testDotNet (AwsCryptographyPrimitives, 6.0.x, macos-14): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L17176
Unreachable code detected
pr-ci-net / testDotNet (AwsCryptographyPrimitives, 6.0.x, macos-14): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L18271
Unreachable code detected
pr-ci-net / testDotNet (AwsCryptographyPrimitives, 6.0.x, macos-14): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L18244
Unreachable code detected
pr-ci-net / testDotNet (AwsCryptographyPrimitives, 6.0.x, macos-14): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L18367
Unreachable code detected
pr-ci-net / testDotNet (AwsCryptographyPrimitives, 6.0.x, macos-14): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L18339
Unreachable code detected
pr-ci-net / testDotNet (AwsCryptographyPrimitives, 6.0.x, macos-14): StandardLibrary/runtimes/net/Extern/UTF8.cs#L45
The variable 'e' is declared but never used
pr-ci-net / testDotNet (AwsCryptographyPrimitives, 6.0.x, macos-14): StandardLibrary/runtimes/net/Extern/UTF8.cs#L30
The variable 'e' is declared but never used
pr-ci-net / testDotNet (AwsCryptographyPrimitives, 6.0.x, macos-14): StandardLibrary/runtimes/net/Extern/UTF8.cs#L25
The variable 'e' is declared but never used
pr-ci-net / testDotNet (AwsCryptographyPrimitives, 6.0.x, macos-14)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-ci-net / testDotNet (AwsCryptographyPrimitives, 6.0.x, macos-14)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-ci-net / testDotNet (AwsCryptographyPrimitives, 6.0.x, macos-14)
Restore cache failed: Dependencies file is not found in /Users/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.mod
pr-ci-net / testDotNet (AwsCryptographyPrimitives, 6.0.x, macos-14)
openssl@3 3.6.1 is already installed and up-to-date. To reinstall 3.6.1, run: brew reinstall openssl@3
pr-ci-python / testPython (ComAmazonawsKms, 3.11, ubuntu-22.04)
Restore cache failed: Dependencies file is not found in /home/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.mod
pr-ci-java / testJava (StandardLibrary, ubuntu-22.04, 8)
Restore cache failed: Dependencies file is not found in /home/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.mod
pr-ci-java / testJava (StandardLibrary, ubuntu-22.04, 17)
Restore cache failed: Dependencies file is not found in /home/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.mod
pr-ci-java / testJava (AwsCryptographyPrimitives, ubuntu-22.04, 19)
Restore cache failed: Dependencies file is not found in /home/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.mod
pr-interop-test / generateEncryptVectors (TestVectorsAwsCryptographicMaterialProviders, macos-14, java, 6.0.x)
Restore cache failed: Dependencies file is not found in /Users/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.mod
pr-interop-test / generateEncryptVectors (TestVectorsAwsCryptographicMaterialProviders, macos-14, java, 6.0.x)
Restore cache failed: Dependencies file is not found in /Users/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.mod
pr-ci-java / testJava (ComAmazonawsDynamodb, ubuntu-22.04, 8)
Restore cache failed: Dependencies file is not found in /home/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.mod
pr-ci-python / testPython (ComAmazonawsKms, 3.13, ubuntu-22.04)
Restore cache failed: Dependencies file is not found in /home/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.mod
pr-ci-java / testJava (AwsCryptographyPrimitives, ubuntu-22.04, 17)
Restore cache failed: Dependencies file is not found in /home/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.mod
pr-ci-go / testGo (ComAmazonawsKms, 1.23, ubuntu-22.04)
Restore cache failed: Dependencies file is not found in /home/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.mod
pr-ci-go / testGo (ComAmazonawsKms, 1.23, ubuntu-22.04)
Restore cache failed: Dependencies file is not found in /home/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.mod
pr-ci-go / testGo (AwsCryptographyPrimitives, 1.24, ubuntu-22.04)
Restore cache failed: Dependencies file is not found in /home/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.mod
pr-ci-go / testGo (AwsCryptographyPrimitives, 1.24, ubuntu-22.04)
Restore cache failed: Dependencies file is not found in /home/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.mod
pr-ci-java / testJava (ComAmazonawsDynamodb, ubuntu-22.04, 19)
Restore cache failed: Dependencies file is not found in /home/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.mod
pr-ci-java / testJava (ComAmazonawsKms, ubuntu-22.04, 8)
Restore cache failed: Dependencies file is not found in /home/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.mod
pr-ci-python / testPython (StandardLibrary, 3.11, ubuntu-22.04)
Restore cache failed: Dependencies file is not found in /home/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.mod
pr-ci-java / testJava (StandardLibrary, ubuntu-22.04, 11)
Restore cache failed: Dependencies file is not found in /home/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.mod
pr-ci-java / testJava (ComAmazonawsKms, ubuntu-22.04, 17)
Restore cache failed: Dependencies file is not found in /home/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.mod
pr-ci-go / testGo (AwsCryptographyPrimitives, 1.23, ubuntu-22.04)
Restore cache failed: Dependencies file is not found in /home/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.mod
pr-ci-go / testGo (AwsCryptographyPrimitives, 1.23, ubuntu-22.04)
Restore cache failed: Dependencies file is not found in /home/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.mod
pr-ci-java / testJava (ComAmazonawsDynamodb, ubuntu-22.04, 11)
Restore cache failed: Dependencies file is not found in /home/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.mod
pr-ci-java / testJava (AwsCryptographyPrimitives, ubuntu-22.04, 11)
Restore cache failed: Dependencies file is not found in /home/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.mod
pr-ci-verification / verification (TestVectorsAwsCryptographicMaterialProviders, macos-latest-large)
Restore cache failed: Dependencies file is not found in /Users/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.mod
pr-ci-go / testGo (AwsCryptographyPrimitives, 1.25, ubuntu-22.04)
Restore cache failed: Dependencies file is not found in /home/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.mod
pr-ci-go / testGo (AwsCryptographyPrimitives, 1.25, ubuntu-22.04)
Restore cache failed: Dependencies file is not found in /home/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.mod
pr-interop-test / generateEncryptVectors (TestVectorsAwsCryptographicMaterialProviders, macos-14, net, 6.0.x)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-interop-test / generateEncryptVectors (TestVectorsAwsCryptographicMaterialProviders, macos-14, net, 6.0.x)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-interop-test / generateEncryptVectors (TestVectorsAwsCryptographicMaterialProviders, macos-14, net, 6.0.x)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-interop-test / generateEncryptVectors (TestVectorsAwsCryptographicMaterialProviders, macos-14, net, 6.0.x)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-interop-test / generateEncryptVectors (TestVectorsAwsCryptographicMaterialProviders, macos-14, net, 6.0.x)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-interop-test / generateEncryptVectors (TestVectorsAwsCryptographicMaterialProviders, macos-14, net, 6.0.x)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-interop-test / generateEncryptVectors (TestVectorsAwsCryptographicMaterialProviders, macos-14, net, 6.0.x)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-interop-test / generateEncryptVectors (TestVectorsAwsCryptographicMaterialProviders, macos-14, net, 6.0.x): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L18271
Unreachable code detected
pr-interop-test / generateEncryptVectors (TestVectorsAwsCryptographicMaterialProviders, macos-14, net, 6.0.x): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L18244
Unreachable code detected
pr-interop-test / generateEncryptVectors (TestVectorsAwsCryptographicMaterialProviders, macos-14, net, 6.0.x): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L18367
Unreachable code detected
pr-interop-test / generateEncryptVectors (TestVectorsAwsCryptographicMaterialProviders, macos-14, net, 6.0.x): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L18339
Unreachable code detected
pr-interop-test / generateEncryptVectors (TestVectorsAwsCryptographicMaterialProviders, macos-14, net, 6.0.x): StandardLibrary/runtimes/net/Extern/UTF8.cs#L45
The variable 'e' is declared but never used
pr-interop-test / generateEncryptVectors (TestVectorsAwsCryptographicMaterialProviders, macos-14, net, 6.0.x): StandardLibrary/runtimes/net/Extern/UTF8.cs#L30
The variable 'e' is declared but never used
pr-interop-test / generateEncryptVectors (TestVectorsAwsCryptographicMaterialProviders, macos-14, net, 6.0.x): StandardLibrary/runtimes/net/Extern/UTF8.cs#L25
The variable 'e' is declared but never used
pr-interop-test / generateEncryptVectors (TestVectorsAwsCryptographicMaterialProviders, macos-14, net, 6.0.x)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-interop-test / generateEncryptVectors (TestVectorsAwsCryptographicMaterialProviders, macos-14, net, 6.0.x)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-interop-test / generateEncryptVectors (TestVectorsAwsCryptographicMaterialProviders, macos-14, net, 6.0.x)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-interop-test / generateEncryptVectors (TestVectorsAwsCryptographicMaterialProviders, macos-14, net, 6.0.x)
Restore cache failed: Dependencies file is not found in /Users/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.mod
pr-interop-test / generateEncryptVectors (TestVectorsAwsCryptographicMaterialProviders, macos-14, net, 6.0.x)
Restore cache failed: Dependencies file is not found in /Users/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.mod
pr-interop-test / generateEncryptVectors (TestVectorsAwsCryptographicMaterialProviders, macos-14, net, 6.0.x)
openssl@3 3.6.1 is already installed and up-to-date. To reinstall 3.6.1, run: brew reinstall openssl@3
pr-ci-codegen / code-generation (AwsCryptographicMaterialProviders, 6.0.x, 3.11, 1.23, ubuntu-22.04)
Restore cache failed: Dependencies file is not found in /home/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.mod
pr-ci-codegen / code-generation (AwsCryptographicMaterialProviders, 6.0.x, 3.11, 1.23, ubuntu-22.04)
Restore cache failed: Dependencies file is not found in /home/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.mod
pr-ci-java / testJava (ComAmazonawsDynamodb, macos-14, 8)
Restore cache failed: Dependencies file is not found in /Users/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.mod
pr-interop-test / generateEncryptVectors (TestVectorsAwsCryptographicMaterialProviders, macos-14, go, 6.0.x)
Restore cache failed: Dependencies file is not found in /Users/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.mod
pr-interop-test / generateEncryptVectors (TestVectorsAwsCryptographicMaterialProviders, macos-14, go, 6.0.x)
Restore cache failed: Dependencies file is not found in /Users/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.mod
pr-ci-go / testGo (ComAmazonawsDynamodb, 1.23, ubuntu-22.04)
Restore cache failed: Dependencies file is not found in /home/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.mod
pr-ci-go / testGo (ComAmazonawsDynamodb, 1.23, ubuntu-22.04)
Restore cache failed: Dependencies file is not found in /home/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.mod
pr-ci-python / testPython (AwsCryptographyPrimitives, 3.13, macos-14)
Restore cache failed: Dependencies file is not found in /Users/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.mod
pr-ci-go / testGo (AwsCryptographicMaterialProviders, 1.25, ubuntu-22.04)
Restore cache failed: Dependencies file is not found in /home/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.mod
pr-ci-go / testGo (AwsCryptographicMaterialProviders, 1.25, ubuntu-22.04)
Restore cache failed: Dependencies file is not found in /home/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.mod
pr-ci-rust / testRust (AwsCryptographyPrimitives, macos-14)
Restore cache failed: Dependencies file is not found in /Users/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.mod
pr-ci-rust / testRust (AwsCryptographyPrimitives, macos-14)
Restore cache failed: Dependencies file is not found in /Users/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.mod
pr-interop-test / generateEncryptVectors (TestVectorsAwsCryptographicMaterialProviders, ubuntu-22.04, net, 6.0.x)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-interop-test / generateEncryptVectors (TestVectorsAwsCryptographicMaterialProviders, ubuntu-22.04, net, 6.0.x)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-interop-test / generateEncryptVectors (TestVectorsAwsCryptographicMaterialProviders, ubuntu-22.04, net, 6.0.x)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-interop-test / generateEncryptVectors (TestVectorsAwsCryptographicMaterialProviders, ubuntu-22.04, net, 6.0.x)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-interop-test / generateEncryptVectors (TestVectorsAwsCryptographicMaterialProviders, ubuntu-22.04, net, 6.0.x)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-interop-test / generateEncryptVectors (TestVectorsAwsCryptographicMaterialProviders, ubuntu-22.04, net, 6.0.x)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-interop-test / generateEncryptVectors (TestVectorsAwsCryptographicMaterialProviders, ubuntu-22.04, net, 6.0.x)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-interop-test / generateEncryptVectors (TestVectorsAwsCryptographicMaterialProviders, ubuntu-22.04, net, 6.0.x): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L18271
Unreachable code detected
pr-interop-test / generateEncryptVectors (TestVectorsAwsCryptographicMaterialProviders, ubuntu-22.04, net, 6.0.x): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L18244
Unreachable code detected
pr-interop-test / generateEncryptVectors (TestVectorsAwsCryptographicMaterialProviders, ubuntu-22.04, net, 6.0.x): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L18367
Unreachable code detected
pr-interop-test / generateEncryptVectors (TestVectorsAwsCryptographicMaterialProviders, ubuntu-22.04, net, 6.0.x): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L18339
Unreachable code detected
pr-interop-test / generateEncryptVectors (TestVectorsAwsCryptographicMaterialProviders, ubuntu-22.04, net, 6.0.x): StandardLibrary/runtimes/net/Extern/UTF8.cs#L45
The variable 'e' is declared but never used
pr-interop-test / generateEncryptVectors (TestVectorsAwsCryptographicMaterialProviders, ubuntu-22.04, net, 6.0.x): StandardLibrary/runtimes/net/Extern/UTF8.cs#L30
The variable 'e' is declared but never used
pr-interop-test / generateEncryptVectors (TestVectorsAwsCryptographicMaterialProviders, ubuntu-22.04, net, 6.0.x): StandardLibrary/runtimes/net/Extern/UTF8.cs#L25
The variable 'e' is declared but never used
pr-interop-test / generateEncryptVectors (TestVectorsAwsCryptographicMaterialProviders, ubuntu-22.04, net, 6.0.x)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-interop-test / generateEncryptVectors (TestVectorsAwsCryptographicMaterialProviders, ubuntu-22.04, net, 6.0.x)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-interop-test / generateEncryptVectors (TestVectorsAwsCryptographicMaterialProviders, ubuntu-22.04, net, 6.0.x)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-interop-test / generateEncryptVectors (TestVectorsAwsCryptographicMaterialProviders, ubuntu-22.04, net, 6.0.x)
Restore cache failed: Dependencies file is not found in /home/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.mod
pr-interop-test / generateEncryptVectors (TestVectorsAwsCryptographicMaterialProviders, ubuntu-22.04, net, 6.0.x)
Restore cache failed: Dependencies file is not found in /home/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.mod
pr-ci-python / testPython (StandardLibrary, 3.11, macos-14)
Restore cache failed: Dependencies file is not found in /Users/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.mod
pr-ci-net / testDotNet (AwsCryptographicMaterialProviders, 6.0.x, ubuntu-22.04): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L17774
Unreachable code detected
pr-ci-net / testDotNet (AwsCryptographicMaterialProviders, 6.0.x, ubuntu-22.04): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L18036
Unreachable code detected
pr-ci-net / testDotNet (AwsCryptographicMaterialProviders, 6.0.x, ubuntu-22.04): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L17341
Unreachable code detected
pr-ci-net / testDotNet (AwsCryptographicMaterialProviders, 6.0.x, ubuntu-22.04): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L17217
Unreachable code detected
pr-ci-net / testDotNet (AwsCryptographicMaterialProviders, 6.0.x, ubuntu-22.04): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L17176
Unreachable code detected
pr-ci-net / testDotNet (AwsCryptographicMaterialProviders, 6.0.x, ubuntu-22.04): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L18367
Unreachable code detected
pr-ci-net / testDotNet (AwsCryptographicMaterialProviders, 6.0.x, ubuntu-22.04): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L18339
Unreachable code detected
pr-ci-net / testDotNet (AwsCryptographicMaterialProviders, 6.0.x, ubuntu-22.04): StandardLibrary/runtimes/net/Extern/UTF8.cs#L45
The variable 'e' is declared but never used
pr-ci-net / testDotNet (AwsCryptographicMaterialProviders, 6.0.x, ubuntu-22.04): StandardLibrary/runtimes/net/Extern/UTF8.cs#L30
The variable 'e' is declared but never used
pr-ci-net / testDotNet (AwsCryptographicMaterialProviders, 6.0.x, ubuntu-22.04): StandardLibrary/runtimes/net/Extern/UTF8.cs#L25
The variable 'e' is declared but never used
pr-ci-net / testDotNet (AwsCryptographicMaterialProviders, 6.0.x, ubuntu-22.04): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L17007
Unreachable code detected
pr-ci-net / testDotNet (AwsCryptographicMaterialProviders, 6.0.x, ubuntu-22.04): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L18271
Unreachable code detected
pr-ci-net / testDotNet (AwsCryptographicMaterialProviders, 6.0.x, ubuntu-22.04): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L18244
Unreachable code detected
pr-ci-net / testDotNet (AwsCryptographicMaterialProviders, 6.0.x, ubuntu-22.04): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L18367
Unreachable code detected
pr-ci-net / testDotNet (AwsCryptographicMaterialProviders, 6.0.x, ubuntu-22.04): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L18339
Unreachable code detected
pr-ci-net / testDotNet (AwsCryptographicMaterialProviders, 6.0.x, ubuntu-22.04): StandardLibrary/runtimes/net/Extern/UTF8.cs#L45
The variable 'e' is declared but never used
pr-ci-net / testDotNet (AwsCryptographicMaterialProviders, 6.0.x, ubuntu-22.04): StandardLibrary/runtimes/net/Extern/UTF8.cs#L30
The variable 'e' is declared but never used
pr-ci-net / testDotNet (AwsCryptographicMaterialProviders, 6.0.x, ubuntu-22.04): StandardLibrary/runtimes/net/Extern/UTF8.cs#L25
The variable 'e' is declared but never used
pr-ci-net / testDotNet (AwsCryptographicMaterialProviders, 6.0.x, ubuntu-22.04)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-ci-net / testDotNet (AwsCryptographicMaterialProviders, 6.0.x, ubuntu-22.04)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-ci-net / testDotNet (AwsCryptographicMaterialProviders, 6.0.x, ubuntu-22.04)
Restore cache failed: Dependencies file is not found in /home/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.mod
pr-ci-python / testPython (StandardLibrary, 3.13, ubuntu-22.04)
Restore cache failed: Dependencies file is not found in /home/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.mod
pr-ci-python / testPython (ComAmazonawsKms, 3.13, macos-14)
Restore cache failed: Dependencies file is not found in /Users/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.mod
pr-ci-python / testPython (AwsCryptographicMaterialProviders, 3.13, ubuntu-22.04)
Restore cache failed: Dependencies file is not found in /home/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.mod
pr-ci-go / testGo (AwsCryptographicMaterialProviders, 1.24, ubuntu-22.04)
Restore cache failed: Dependencies file is not found in /home/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.mod
pr-ci-go / testGo (AwsCryptographicMaterialProviders, 1.24, ubuntu-22.04)
Restore cache failed: Dependencies file is not found in /home/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.mod
pr-ci-python / testPython (AwsCryptographicMaterialProviders, 3.11, ubuntu-22.04)
Restore cache failed: Dependencies file is not found in /home/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.mod
pr-ci-java / testJava (AwsCryptographicMaterialProviders, ubuntu-22.04, 17)
Restore cache failed: Dependencies file is not found in /home/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.mod
pr-ci-go / testGo (ComAmazonawsKms, 1.25, ubuntu-22.04)
Restore cache failed: Dependencies file is not found in /home/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.mod
pr-ci-go / testGo (ComAmazonawsKms, 1.25, ubuntu-22.04)
Restore cache failed: Dependencies file is not found in /home/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.mod
pr-ci-java / testJava (AwsCryptographicMaterialProviders, ubuntu-22.04, 8)
Restore cache failed: Dependencies file is not found in /home/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.mod
pr-ci-go / testGo (AwsCryptographicMaterialProviders, 1.23, ubuntu-22.04)
Restore cache failed: Dependencies file is not found in /home/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.mod
pr-ci-go / testGo (AwsCryptographicMaterialProviders, 1.23, ubuntu-22.04)
Restore cache failed: Dependencies file is not found in /home/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.mod
pr-interop-test / generateEncryptVectors (TestVectorsAwsCryptographicMaterialProviders, macos-14, rust, 6.0.x)
Restore cache failed: Dependencies file is not found in /Users/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.mod
pr-interop-test / generateEncryptVectors (TestVectorsAwsCryptographicMaterialProviders, macos-14, rust, 6.0.x)
Restore cache failed: Dependencies file is not found in /Users/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.mod
pr-ci-java / testJava (AwsCryptographicMaterialProviders, ubuntu-22.04, 11)
Restore cache failed: Dependencies file is not found in /home/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.mod
pr-ci-rust / testRust (ComAmazonawsKms, ubuntu-22.04)
Restore cache failed: Dependencies file is not found in /home/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.mod
pr-ci-rust / testRust (ComAmazonawsKms, ubuntu-22.04)
Restore cache failed: Dependencies file is not found in /home/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.mod
pr-interop-test / generateEncryptVectors (TestVectorsAwsCryptographicMaterialProviders, ubuntu-22.04, go, 6.0.x)
Restore cache failed: Dependencies file is not found in /home/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.mod
pr-interop-test / generateEncryptVectors (TestVectorsAwsCryptographicMaterialProviders, ubuntu-22.04, go, 6.0.x)
Restore cache failed: Dependencies file is not found in /home/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.mod
pr-ci-net / testDotNet (ComAmazonawsKms, 6.0.x, macos-14): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L17007
Unreachable code detected
pr-ci-net / testDotNet (ComAmazonawsKms, 6.0.x, macos-14): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L18271
Unreachable code detected
pr-ci-net / testDotNet (ComAmazonawsKms, 6.0.x, macos-14): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L18244
Unreachable code detected
pr-ci-net / testDotNet (ComAmazonawsKms, 6.0.x, macos-14): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L18367
Unreachable code detected
pr-ci-net / testDotNet (ComAmazonawsKms, 6.0.x, macos-14): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L18339
Unreachable code detected
pr-ci-net / testDotNet (ComAmazonawsKms, 6.0.x, macos-14): StandardLibrary/runtimes/net/Extern/UTF8.cs#L45
The variable 'e' is declared but never used
pr-ci-net / testDotNet (ComAmazonawsKms, 6.0.x, macos-14): StandardLibrary/runtimes/net/Extern/UTF8.cs#L30
The variable 'e' is declared but never used
pr-ci-net / testDotNet (ComAmazonawsKms, 6.0.x, macos-14): StandardLibrary/runtimes/net/Extern/UTF8.cs#L25
The variable 'e' is declared but never used
pr-ci-net / testDotNet (ComAmazonawsKms, 6.0.x, macos-14)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-ci-net / testDotNet (ComAmazonawsKms, 6.0.x, macos-14)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-ci-net / testDotNet (ComAmazonawsKms, 6.0.x, macos-14)
Restore cache failed: Dependencies file is not found in /Users/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.mod
pr-ci-net / testDotNet (ComAmazonawsKms, 6.0.x, macos-14)
openssl@3 3.6.1 is already installed and up-to-date. To reinstall 3.6.1, run: brew reinstall openssl@3
pr-ci-java / testJava (ComAmazonawsKms, ubuntu-22.04, 11)
Restore cache failed: Dependencies file is not found in /home/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.mod
pr-ci-java / testJava (AwsCryptographicMaterialProviders, ubuntu-22.04, 19)
Restore cache failed: Dependencies file is not found in /home/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.mod
pr-ci-net / testDotNet (AwsCryptographicMaterialProviders, 6.0.x, windows-latest): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L17854
Assignment made to same variable; did you mean to assign something else?
pr-ci-net / testDotNet (AwsCryptographicMaterialProviders, 6.0.x, windows-latest): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L17834
Unreachable code detected
pr-ci-net / testDotNet (AwsCryptographicMaterialProviders, 6.0.x, windows-latest): StandardLibrary/runtimes/net/Extern/UTF8.cs#L45
The variable 'e' is declared but never used
pr-ci-net / testDotNet (AwsCryptographicMaterialProviders, 6.0.x, windows-latest): StandardLibrary/runtimes/net/Extern/UTF8.cs#L30
The variable 'e' is declared but never used
pr-ci-net / testDotNet (AwsCryptographicMaterialProviders, 6.0.x, windows-latest): StandardLibrary/runtimes/net/Extern/UTF8.cs#L25
The variable 'e' is declared but never used
pr-ci-net / testDotNet (AwsCryptographicMaterialProviders, 6.0.x, windows-latest): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L17377
Unreachable code detected
pr-ci-net / testDotNet (AwsCryptographicMaterialProviders, 6.0.x, windows-latest): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L17359
Unreachable code detected
pr-ci-net / testDotNet (AwsCryptographicMaterialProviders, 6.0.x, windows-latest): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L17341
Unreachable code detected
pr-ci-net / testDotNet (AwsCryptographicMaterialProviders, 6.0.x, windows-latest): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L18367
Unreachable code detected
pr-ci-net / testDotNet (AwsCryptographicMaterialProviders, 6.0.x, windows-latest): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L18339
Unreachable code detected
pr-ci-net / testDotNet (AwsCryptographicMaterialProviders, 6.0.x, windows-latest): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L17341
Unreachable code detected
pr-ci-net / testDotNet (AwsCryptographicMaterialProviders, 6.0.x, windows-latest): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L18271
Unreachable code detected
pr-ci-net / testDotNet (AwsCryptographicMaterialProviders, 6.0.x, windows-latest): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L18244
Unreachable code detected
pr-ci-net / testDotNet (AwsCryptographicMaterialProviders, 6.0.x, windows-latest): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L18367
Unreachable code detected
pr-ci-net / testDotNet (AwsCryptographicMaterialProviders, 6.0.x, windows-latest): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L18339
Unreachable code detected
pr-ci-net / testDotNet (AwsCryptographicMaterialProviders, 6.0.x, windows-latest): StandardLibrary/runtimes/net/Extern/UTF8.cs#L45
The variable 'e' is declared but never used
pr-ci-net / testDotNet (AwsCryptographicMaterialProviders, 6.0.x, windows-latest): StandardLibrary/runtimes/net/Extern/UTF8.cs#L30
The variable 'e' is declared but never used
pr-ci-net / testDotNet (AwsCryptographicMaterialProviders, 6.0.x, windows-latest): StandardLibrary/runtimes/net/Extern/UTF8.cs#L25
The variable 'e' is declared but never used
pr-ci-net / testDotNet (AwsCryptographicMaterialProviders, 6.0.x, windows-latest)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-ci-net / testDotNet (AwsCryptographicMaterialProviders, 6.0.x, windows-latest)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-ci-net / testDotNet (AwsCryptographicMaterialProviders, 6.0.x, windows-latest)
Restore cache failed: Dependencies file is not found in D:\a\aws-cryptographic-material-providers-library\aws-cryptographic-material-providers-library. Supported file pattern: go.mod
pr-interop-test / generateEncryptVectors (TestVectorsAwsCryptographicMaterialProviders, macos-14, python, 6.0.x)
Restore cache failed: Dependencies file is not found in /Users/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.mod
pr-interop-test / generateEncryptVectors (TestVectorsAwsCryptographicMaterialProviders, macos-14, python, 6.0.x)
Restore cache failed: Dependencies file is not found in /Users/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.mod
pr-ci-rust / testRust (ComAmazonawsDynamodb, ubuntu-22.04)
Restore cache failed: Dependencies file is not found in /home/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.mod
pr-ci-rust / testRust (ComAmazonawsDynamodb, ubuntu-22.04)
Restore cache failed: Dependencies file is not found in /home/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.mod
pr-ci-net / testDotNet (TestVectorsAwsCryptographicMaterialProviders, 6.0.x, ubuntu-22.04): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L18244
Unreachable code detected
pr-ci-net / testDotNet (TestVectorsAwsCryptographicMaterialProviders, 6.0.x, ubuntu-22.04): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L18367
Unreachable code detected
pr-ci-net / testDotNet (TestVectorsAwsCryptographicMaterialProviders, 6.0.x, ubuntu-22.04): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L18339
Unreachable code detected
pr-ci-net / testDotNet (TestVectorsAwsCryptographicMaterialProviders, 6.0.x, ubuntu-22.04): StandardLibrary/runtimes/net/Extern/UTF8.cs#L45
The variable 'e' is declared but never used
pr-ci-net / testDotNet (TestVectorsAwsCryptographicMaterialProviders, 6.0.x, ubuntu-22.04): StandardLibrary/runtimes/net/Extern/UTF8.cs#L30
The variable 'e' is declared but never used
pr-ci-net / testDotNet (TestVectorsAwsCryptographicMaterialProviders, 6.0.x, ubuntu-22.04): StandardLibrary/runtimes/net/Extern/UTF8.cs#L25
The variable 'e' is declared but never used
pr-ci-net / testDotNet (TestVectorsAwsCryptographicMaterialProviders, 6.0.x, ubuntu-22.04)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-ci-net / testDotNet (TestVectorsAwsCryptographicMaterialProviders, 6.0.x, ubuntu-22.04)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-ci-net / testDotNet (TestVectorsAwsCryptographicMaterialProviders, 6.0.x, ubuntu-22.04)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-ci-net / testDotNet (TestVectorsAwsCryptographicMaterialProviders, 6.0.x, ubuntu-22.04)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-ci-net / testDotNet (TestVectorsAwsCryptographicMaterialProviders, 6.0.x, ubuntu-22.04)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-ci-net / testDotNet (TestVectorsAwsCryptographicMaterialProviders, 6.0.x, ubuntu-22.04)
Restore cache failed: Dependencies file is not found in /home/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.mod
pr-interop-test / generateEncryptVectors (TestVectorsAwsCryptographicMaterialProviders, ubuntu-22.04, rust, 6.0.x)
Restore cache failed: Dependencies file is not found in /home/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.mod
pr-interop-test / generateEncryptVectors (TestVectorsAwsCryptographicMaterialProviders, ubuntu-22.04, rust, 6.0.x)
Restore cache failed: Dependencies file is not found in /home/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.mod
pr-interop-test / generateEncryptVectors (TestVectorsAwsCryptographicMaterialProviders, ubuntu-22.04, java, 6.0.x)
Restore cache failed: Dependencies file is not found in /home/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.mod
pr-interop-test / generateEncryptVectors (TestVectorsAwsCryptographicMaterialProviders, ubuntu-22.04, java, 6.0.x)
Restore cache failed: Dependencies file is not found in /home/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.mod
pr-ci-net / testDotNet (TestVectorsAwsCryptographicMaterialProviders, 6.0.x, windows-latest): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L18244
Unreachable code detected
pr-ci-net / testDotNet (TestVectorsAwsCryptographicMaterialProviders, 6.0.x, windows-latest): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L18367
Unreachable code detected
pr-ci-net / testDotNet (TestVectorsAwsCryptographicMaterialProviders, 6.0.x, windows-latest): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L18339
Unreachable code detected
pr-ci-net / testDotNet (TestVectorsAwsCryptographicMaterialProviders, 6.0.x, windows-latest): StandardLibrary/runtimes/net/Extern/UTF8.cs#L45
The variable 'e' is declared but never used
pr-ci-net / testDotNet (TestVectorsAwsCryptographicMaterialProviders, 6.0.x, windows-latest): StandardLibrary/runtimes/net/Extern/UTF8.cs#L30
The variable 'e' is declared but never used
pr-ci-net / testDotNet (TestVectorsAwsCryptographicMaterialProviders, 6.0.x, windows-latest): StandardLibrary/runtimes/net/Extern/UTF8.cs#L25
The variable 'e' is declared but never used
pr-ci-net / testDotNet (TestVectorsAwsCryptographicMaterialProviders, 6.0.x, windows-latest)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-ci-net / testDotNet (TestVectorsAwsCryptographicMaterialProviders, 6.0.x, windows-latest)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-ci-net / testDotNet (TestVectorsAwsCryptographicMaterialProviders, 6.0.x, windows-latest)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-ci-net / testDotNet (TestVectorsAwsCryptographicMaterialProviders, 6.0.x, windows-latest)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-ci-net / testDotNet (TestVectorsAwsCryptographicMaterialProviders, 6.0.x, windows-latest)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-ci-net / testDotNet (TestVectorsAwsCryptographicMaterialProviders, 6.0.x, windows-latest)
Restore cache failed: Dependencies file is not found in D:\a\aws-cryptographic-material-providers-library\aws-cryptographic-material-providers-library. Supported file pattern: go.mod
pr-fuzz-interop-test / generateEncryptVectors (TestVectorsAwsCryptographicMaterialProviders, macos-14, net, 6.0.x): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L18271
Unreachable code detected
pr-fuzz-interop-test / generateEncryptVectors (TestVectorsAwsCryptographicMaterialProviders, macos-14, net, 6.0.x): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L18244
Unreachable code detected
pr-fuzz-interop-test / generateEncryptVectors (TestVectorsAwsCryptographicMaterialProviders, macos-14, net, 6.0.x): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L18367
Unreachable code detected
pr-fuzz-interop-test / generateEncryptVectors (TestVectorsAwsCryptographicMaterialProviders, macos-14, net, 6.0.x): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L18339
Unreachable code detected
pr-fuzz-interop-test / generateEncryptVectors (TestVectorsAwsCryptographicMaterialProviders, macos-14, net, 6.0.x): StandardLibrary/runtimes/net/Extern/UTF8.cs#L45
The variable 'e' is declared but never used
pr-fuzz-interop-test / generateEncryptVectors (TestVectorsAwsCryptographicMaterialProviders, macos-14, net, 6.0.x): StandardLibrary/runtimes/net/Extern/UTF8.cs#L30
The variable 'e' is declared but never used
pr-fuzz-interop-test / generateEncryptVectors (TestVectorsAwsCryptographicMaterialProviders, macos-14, net, 6.0.x): StandardLibrary/runtimes/net/Extern/UTF8.cs#L25
The variable 'e' is declared but never used
pr-fuzz-interop-test / generateEncryptVectors (TestVectorsAwsCryptographicMaterialProviders, macos-14, net, 6.0.x)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-fuzz-interop-test / generateEncryptVectors (TestVectorsAwsCryptographicMaterialProviders, macos-14, net, 6.0.x)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-fuzz-interop-test / generateEncryptVectors (TestVectorsAwsCryptographicMaterialProviders, macos-14, net, 6.0.x)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-fuzz-interop-test / generateEncryptVectors (TestVectorsAwsCryptographicMaterialProviders, macos-14, net, 6.0.x)
Restore cache failed: Dependencies file is not found in /Users/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.mod
pr-fuzz-interop-test / generateEncryptVectors (TestVectorsAwsCryptographicMaterialProviders, macos-14, net, 6.0.x)
Restore cache failed: Dependencies file is not found in /Users/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.mod
pr-fuzz-interop-test / generateEncryptVectors (TestVectorsAwsCryptographicMaterialProviders, macos-14, net, 6.0.x)
openssl@3 3.6.1 is already installed and up-to-date. To reinstall 3.6.1, run: brew reinstall openssl@3
pr-ci-rust / testRust (AwsCryptographyPrimitives, ubuntu-22.04)
Restore cache failed: Dependencies file is not found in /home/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.mod
pr-ci-rust / testRust (AwsCryptographyPrimitives, ubuntu-22.04)
Restore cache failed: Dependencies file is not found in /home/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.mod
pr-ci-python / testPython (AwsCryptographyPrimitives, 3.11, macos-14)
Restore cache failed: Dependencies file is not found in /Users/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.mod
pr-ci-python / testPython (AwsCryptographicMaterialProviders, 3.13, macos-14)
Restore cache failed: Dependencies file is not found in /Users/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.mod
pr-ci-go / testGo (ComAmazonawsKms, 1.25, macos-14)
Restore cache failed: Dependencies file is not found in /Users/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.mod
pr-ci-go / testGo (ComAmazonawsKms, 1.25, macos-14)
Restore cache failed: Dependencies file is not found in /Users/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.mod
pr-ci-java / testJava (StandardLibrary, macos-14, 11)
Restore cache failed: Dependencies file is not found in /Users/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.mod
pr-ci-python / testPython (ComAmazonawsDynamodb, 3.11, macos-14)
Restore cache failed: Dependencies file is not found in /Users/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.mod
pr-ci-go / testGo (TestVectorsAwsCryptographicMaterialProviders, 1.25, ubuntu-22.04)
Restore cache failed: Dependencies file is not found in /home/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.mod
pr-ci-go / testGo (TestVectorsAwsCryptographicMaterialProviders, 1.25, ubuntu-22.04)
Restore cache failed: Dependencies file is not found in /home/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.mod
pr-ci-go / testGo (ComAmazonawsKms, 1.23, macos-14)
Restore cache failed: Dependencies file is not found in /Users/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.mod
pr-ci-go / testGo (ComAmazonawsKms, 1.23, macos-14)
Restore cache failed: Dependencies file is not found in /Users/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.mod
pr-ci-rust / testRust (ComAmazonawsDynamodb, macos-14)
Restore cache failed: Dependencies file is not found in /Users/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.mod
pr-ci-rust / testRust (ComAmazonawsDynamodb, macos-14)
Restore cache failed: Dependencies file is not found in /Users/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.mod
pr-ci-go / testGo (TestVectorsAwsCryptographicMaterialProviders, 1.24, ubuntu-22.04)
Restore cache failed: Dependencies file is not found in /home/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.mod
pr-ci-go / testGo (TestVectorsAwsCryptographicMaterialProviders, 1.24, ubuntu-22.04)
Restore cache failed: Dependencies file is not found in /home/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.mod
pr-ci-rust / testRust (ComAmazonawsKms, macos-14)
Restore cache failed: Dependencies file is not found in /Users/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.mod
pr-ci-rust / testRust (ComAmazonawsKms, macos-14)
Restore cache failed: Dependencies file is not found in /Users/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.mod
pr-ci-go / testGo (AwsCryptographyPrimitives, 1.23, macos-14)
Restore cache failed: Dependencies file is not found in /Users/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.mod
pr-ci-go / testGo (AwsCryptographyPrimitives, 1.23, macos-14)
Restore cache failed: Dependencies file is not found in /Users/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.mod
pr-ci-java / testJava (AwsCryptographyPrimitives, macos-14, 11)
Restore cache failed: Dependencies file is not found in /Users/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.mod
pr-ci-net / testDotNet (TestVectorsAwsCryptographicMaterialProviders, 6.0.x, macos-14): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L18244
Unreachable code detected
pr-ci-net / testDotNet (TestVectorsAwsCryptographicMaterialProviders, 6.0.x, macos-14): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L18367
Unreachable code detected
pr-ci-net / testDotNet (TestVectorsAwsCryptographicMaterialProviders, 6.0.x, macos-14): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L18339
Unreachable code detected
pr-ci-net / testDotNet (TestVectorsAwsCryptographicMaterialProviders, 6.0.x, macos-14): StandardLibrary/runtimes/net/Extern/UTF8.cs#L45
The variable 'e' is declared but never used
pr-ci-net / testDotNet (TestVectorsAwsCryptographicMaterialProviders, 6.0.x, macos-14): StandardLibrary/runtimes/net/Extern/UTF8.cs#L30
The variable 'e' is declared but never used
pr-ci-net / testDotNet (TestVectorsAwsCryptographicMaterialProviders, 6.0.x, macos-14): StandardLibrary/runtimes/net/Extern/UTF8.cs#L25
The variable 'e' is declared but never used
pr-ci-net / testDotNet (TestVectorsAwsCryptographicMaterialProviders, 6.0.x, macos-14)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-ci-net / testDotNet (TestVectorsAwsCryptographicMaterialProviders, 6.0.x, macos-14)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-ci-net / testDotNet (TestVectorsAwsCryptographicMaterialProviders, 6.0.x, macos-14)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-ci-net / testDotNet (TestVectorsAwsCryptographicMaterialProviders, 6.0.x, macos-14)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-ci-net / testDotNet (TestVectorsAwsCryptographicMaterialProviders, 6.0.x, macos-14)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-ci-net / testDotNet (TestVectorsAwsCryptographicMaterialProviders, 6.0.x, macos-14)
Restore cache failed: Dependencies file is not found in /Users/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.mod
pr-ci-net / testDotNet (TestVectorsAwsCryptographicMaterialProviders, 6.0.x, macos-14)
openssl@3 3.6.1 is already installed and up-to-date. To reinstall 3.6.1, run: brew reinstall openssl@3
pr-ci-python / testPython (StandardLibrary, 3.13, macos-14)
Restore cache failed: Dependencies file is not found in /Users/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.mod
pr-fuzz-interop-test / generateEncryptVectors (TestVectorsAwsCryptographicMaterialProviders, ubuntu-22.04, go, 6.0.x)
Restore cache failed: Dependencies file is not found in /home/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.mod
pr-fuzz-interop-test / generateEncryptVectors (TestVectorsAwsCryptographicMaterialProviders, ubuntu-22.04, go, 6.0.x)
Restore cache failed: Dependencies file is not found in /home/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.mod
pr-ci-go / testGo (StandardLibrary, 1.23, macos-14)
Restore cache failed: Dependencies file is not found in /Users/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.mod
pr-ci-go / testGo (StandardLibrary, 1.23, macos-14)
Restore cache failed: Dependencies file is not found in /Users/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.mod
pr-ci-go / testGo (StandardLibrary, 1.24, ubuntu-22.04)
Restore cache failed: Dependencies file is not found in /home/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.mod
pr-ci-go / testGo (StandardLibrary, 1.24, ubuntu-22.04)
Restore cache failed: Dependencies file is not found in /home/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.mod
pr-ci-java / testJava (AwsCryptographicMaterialProviders, macos-14, 8)
Restore cache failed: Dependencies file is not found in /Users/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.mod
pr-fuzz-interop-test / generateEncryptVectors (TestVectorsAwsCryptographicMaterialProviders, ubuntu-22.04, net, 6.0.x): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L17341
Unreachable code detected
pr-fuzz-interop-test / generateEncryptVectors (TestVectorsAwsCryptographicMaterialProviders, ubuntu-22.04, net, 6.0.x): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L18244
Unreachable code detected
pr-fuzz-interop-test / generateEncryptVectors (TestVectorsAwsCryptographicMaterialProviders, ubuntu-22.04, net, 6.0.x): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L18367
Unreachable code detected
pr-fuzz-interop-test / generateEncryptVectors (TestVectorsAwsCryptographicMaterialProviders, ubuntu-22.04, net, 6.0.x): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L18339
Unreachable code detected
pr-fuzz-interop-test / generateEncryptVectors (TestVectorsAwsCryptographicMaterialProviders, ubuntu-22.04, net, 6.0.x): StandardLibrary/runtimes/net/Extern/UTF8.cs#L45
The variable 'e' is declared but never used
pr-fuzz-interop-test / generateEncryptVectors (TestVectorsAwsCryptographicMaterialProviders, ubuntu-22.04, net, 6.0.x): StandardLibrary/runtimes/net/Extern/UTF8.cs#L30
The variable 'e' is declared but never used
pr-fuzz-interop-test / generateEncryptVectors (TestVectorsAwsCryptographicMaterialProviders, ubuntu-22.04, net, 6.0.x): StandardLibrary/runtimes/net/Extern/UTF8.cs#L25
The variable 'e' is declared but never used
pr-fuzz-interop-test / generateEncryptVectors (TestVectorsAwsCryptographicMaterialProviders, ubuntu-22.04, net, 6.0.x)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-fuzz-interop-test / generateEncryptVectors (TestVectorsAwsCryptographicMaterialProviders, ubuntu-22.04, net, 6.0.x)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-fuzz-interop-test / generateEncryptVectors (TestVectorsAwsCryptographicMaterialProviders, ubuntu-22.04, net, 6.0.x)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-fuzz-interop-test / generateEncryptVectors (TestVectorsAwsCryptographicMaterialProviders, ubuntu-22.04, net, 6.0.x)
Restore cache failed: Dependencies file is not found in /home/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.mod
pr-fuzz-interop-test / generateEncryptVectors (TestVectorsAwsCryptographicMaterialProviders, ubuntu-22.04, net, 6.0.x)
Restore cache failed: Dependencies file is not found in /home/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.mod
pr-ci-go / testGo (StandardLibrary, 1.25, ubuntu-22.04)
Restore cache failed: Dependencies file is not found in /home/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.mod
pr-ci-go / testGo (StandardLibrary, 1.25, ubuntu-22.04)
Restore cache failed: Dependencies file is not found in /home/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.mod
pr-ci-python / testPython (ComAmazonawsKms, 3.11, macos-14)
Restore cache failed: Dependencies file is not found in /Users/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.mod
pr-ci-go / testGo (AwsCryptographyPrimitives, 1.24, macos-14)
Restore cache failed: Dependencies file is not found in /Users/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.mod
pr-ci-go / testGo (AwsCryptographyPrimitives, 1.24, macos-14)
Restore cache failed: Dependencies file is not found in /Users/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.mod
pr-ci-go / testGo (ComAmazonawsDynamodb, 1.25, macos-14)
Restore cache failed: Dependencies file is not found in /Users/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.mod
pr-ci-go / testGo (ComAmazonawsDynamodb, 1.25, macos-14)
Restore cache failed: Dependencies file is not found in /Users/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.mod
pr-ci-java / testJava (AwsCryptographyPrimitives, macos-14, 19)
Restore cache failed: Dependencies file is not found in /Users/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.mod
pr-ci-go / testGo (TestVectorsAwsCryptographicMaterialProviders, 1.23, ubuntu-22.04)
Restore cache failed: Dependencies file is not found in /home/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.mod
pr-ci-go / testGo (TestVectorsAwsCryptographicMaterialProviders, 1.23, ubuntu-22.04)
Restore cache failed: Dependencies file is not found in /home/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.mod
pr-ci-java / testJava (ComAmazonawsKms, macos-14, 8)
Restore cache failed: Dependencies file is not found in /Users/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.mod
pr-ci-db-esdk-java-examples-test / test-dbesdk-examples
Restore cache failed: Dependencies file is not found in /home/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.mod
pr-interop-test / generateEncryptVectors (TestVectorsAwsCryptographicMaterialProviders, ubuntu-22.04, python, 6.0.x)
Restore cache failed: Dependencies file is not found in /home/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.mod
pr-interop-test / generateEncryptVectors (TestVectorsAwsCryptographicMaterialProviders, ubuntu-22.04, python, 6.0.x)
Restore cache failed: Dependencies file is not found in /home/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.mod
pr-ci-go / testGo (StandardLibrary, 1.23, ubuntu-22.04)
Restore cache failed: Dependencies file is not found in /home/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.mod
pr-ci-go / testGo (StandardLibrary, 1.23, ubuntu-22.04)
Restore cache failed: Dependencies file is not found in /home/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.mod
pr-fuzz-interop-test / generateEncryptVectors (TestVectorsAwsCryptographicMaterialProviders, macos-14, go, 6.0.x)
Restore cache failed: Dependencies file is not found in /Users/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.mod
pr-fuzz-interop-test / generateEncryptVectors (TestVectorsAwsCryptographicMaterialProviders, macos-14, go, 6.0.x)
Restore cache failed: Dependencies file is not found in /Users/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.mod
pr-ci-go / testGo (ComAmazonawsDynamodb, 1.23, macos-14)
Restore cache failed: Dependencies file is not found in /Users/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.mod
pr-ci-go / testGo (ComAmazonawsDynamodb, 1.23, macos-14)
Restore cache failed: Dependencies file is not found in /Users/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.mod
pr-ci-go / testGo (AwsCryptographicMaterialProviders, 1.25, macos-14)
Restore cache failed: Dependencies file is not found in /Users/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.mod
pr-ci-go / testGo (AwsCryptographicMaterialProviders, 1.25, macos-14)
Restore cache failed: Dependencies file is not found in /Users/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.mod
pr-ci-go / testGo (AwsCryptographicMaterialProviders, 1.23, macos-14)
Restore cache failed: Dependencies file is not found in /Users/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.mod
pr-ci-go / testGo (AwsCryptographicMaterialProviders, 1.23, macos-14)
Restore cache failed: Dependencies file is not found in /Users/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.mod
pr-ci-codegen / code-generation (TestVectorsAwsCryptographicMaterialProviders, 6.0.x, 3.11, 1.23, ubuntu-22.04)
Restore cache failed: Dependencies file is not found in /home/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.mod
pr-ci-codegen / code-generation (TestVectorsAwsCryptographicMaterialProviders, 6.0.x, 3.11, 1.23, ubuntu-22.04)
Restore cache failed: Dependencies file is not found in /home/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.mod
pr-ci-java / testJava (ComAmazonawsKms, macos-14, 11)
Restore cache failed: Dependencies file is not found in /Users/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.mod
pr-fuzz-interop-test / generateEncryptVectors (TestVectorsAwsCryptographicMaterialProviders, ubuntu-22.04, java, 6.0.x)
Restore cache failed: Dependencies file is not found in /home/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.mod
pr-fuzz-interop-test / generateEncryptVectors (TestVectorsAwsCryptographicMaterialProviders, ubuntu-22.04, java, 6.0.x)
Restore cache failed: Dependencies file is not found in /home/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.mod
pr-ci-go / testGo (AwsCryptographicMaterialProviders, 1.24, macos-14)
Restore cache failed: Dependencies file is not found in /Users/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.mod
pr-ci-go / testGo (AwsCryptographicMaterialProviders, 1.24, macos-14)
Restore cache failed: Dependencies file is not found in /Users/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.mod
pr-ci-java / testJava (ComAmazonawsDynamodb, macos-14, 17)
Restore cache failed: Dependencies file is not found in /Users/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.mod
pr-ci-go / testGo (StandardLibrary, 1.25, macos-14)
Restore cache failed: Dependencies file is not found in /Users/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.mod
pr-ci-go / testGo (StandardLibrary, 1.25, macos-14)
Restore cache failed: Dependencies file is not found in /Users/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.mod
pr-ci-java / testJava (ComAmazonawsKms, macos-14, 19)
Restore cache failed: Dependencies file is not found in /Users/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.mod
pr-ci-java / testJava (AwsCryptographyPrimitives, macos-14, 8)
Restore cache failed: Dependencies file is not found in /Users/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.mod
pr-ci-go / testGo (ComAmazonawsDynamodb, 1.24, macos-14)
Restore cache failed: Dependencies file is not found in /Users/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.mod
pr-ci-go / testGo (ComAmazonawsDynamodb, 1.24, macos-14)
Restore cache failed: Dependencies file is not found in /Users/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.mod
pr-fuzz-interop-test / generateEncryptVectors (TestVectorsAwsCryptographicMaterialProviders, macos-14, rust, 6.0.x)
Restore cache failed: Dependencies file is not found in /Users/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.mod
pr-fuzz-interop-test / generateEncryptVectors (TestVectorsAwsCryptographicMaterialProviders, macos-14, rust, 6.0.x)
Restore cache failed: Dependencies file is not found in /Users/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.mod
pr-fuzz-interop-test / generateEncryptVectors (TestVectorsAwsCryptographicMaterialProviders, macos-14, java, 6.0.x)
Restore cache failed: Dependencies file is not found in /Users/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.mod
pr-fuzz-interop-test / generateEncryptVectors (TestVectorsAwsCryptographicMaterialProviders, macos-14, java, 6.0.x)
Restore cache failed: Dependencies file is not found in /Users/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.mod
pr-fuzz-interop-test / generateEncryptVectors (TestVectorsAwsCryptographicMaterialProviders, macos-14, python, 6.0.x)
Restore cache failed: Dependencies file is not found in /Users/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.mod
pr-fuzz-interop-test / generateEncryptVectors (TestVectorsAwsCryptographicMaterialProviders, macos-14, python, 6.0.x)
Restore cache failed: Dependencies file is not found in /Users/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.mod
pr-ci-python / testPython (AwsCryptographicMaterialProviders, 3.11, macos-14)
Restore cache failed: Dependencies file is not found in /Users/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.mod
pr-ci-rust / testRust (AwsCryptographicMaterialProviders, ubuntu-22.04)
Restore cache failed: Dependencies file is not found in /home/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.mod
pr-ci-rust / testRust (AwsCryptographicMaterialProviders, ubuntu-22.04)
Restore cache failed: Dependencies file is not found in /home/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.mod
pr-ci-verification / verification (AwsCryptographicMaterialProviders, macos-latest-large)
Restore cache failed: Dependencies file is not found in /Users/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.mod
pr-ci-java / testJava (ComAmazonawsKms, macos-14, 17)
Restore cache failed: Dependencies file is not found in /Users/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.mod
pr-ci-java / testJava (StandardLibrary, macos-14, 17)
Restore cache failed: Dependencies file is not found in /Users/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.mod
pr-ci-go / testGo (StandardLibrary, 1.24, macos-14)
Restore cache failed: Dependencies file is not found in /Users/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.mod
pr-ci-go / testGo (StandardLibrary, 1.24, macos-14)
Restore cache failed: Dependencies file is not found in /Users/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.mod
pr-fuzz-interop-test / generateEncryptVectors (TestVectorsAwsCryptographicMaterialProviders, ubuntu-22.04, rust, 6.0.x)
Restore cache failed: Dependencies file is not found in /home/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.mod
pr-fuzz-interop-test / generateEncryptVectors (TestVectorsAwsCryptographicMaterialProviders, ubuntu-22.04, rust, 6.0.x)
Restore cache failed: Dependencies file is not found in /home/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.mod
pr-ci-go / testGo (TestVectorsAwsCryptographicMaterialProviders, 1.24, macos-14)
Restore cache failed: Dependencies file is not found in /Users/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.mod
pr-ci-go / testGo (TestVectorsAwsCryptographicMaterialProviders, 1.24, macos-14)
Restore cache failed: Dependencies file is not found in /Users/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.mod
pr-ci-java / testJava (StandardLibrary, macos-14, 8)
Restore cache failed: Dependencies file is not found in /Users/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.mod
pr-ci-go / testGo (ComAmazonawsKms, 1.24, macos-14)
Restore cache failed: Dependencies file is not found in /Users/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.mod
pr-ci-go / testGo (ComAmazonawsKms, 1.24, macos-14)
Restore cache failed: Dependencies file is not found in /Users/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.mod
pr-ci-java / testJava (AwsCryptographicMaterialProviders, macos-14, 17)
Restore cache failed: Dependencies file is not found in /Users/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.mod
pr-ci-python / testPython (TestVectorsAwsCryptographicMaterialProviders, 3.11, macos-14)
Restore cache failed: Dependencies file is not found in /Users/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.mod
pr-ci-java / testJava (AwsCryptographicMaterialProviders, macos-14, 19)
Restore cache failed: Dependencies file is not found in /Users/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.mod
pr-ci-python / testPython (TestVectorsAwsCryptographicMaterialProviders, 3.11, ubuntu-22.04)
Restore cache failed: Dependencies file is not found in /home/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.mod
pr-ci-java / testJava (ComAmazonawsDynamodb, macos-14, 11)
Restore cache failed: Dependencies file is not found in /Users/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.mod
pr-ci-python / testPython (TestVectorsAwsCryptographicMaterialProviders, 3.13, macos-14)
Restore cache failed: Dependencies file is not found in /Users/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.mod
pr-ci-python / testPython (TestVectorsAwsCryptographicMaterialProviders, 3.13, ubuntu-22.04)
Restore cache failed: Dependencies file is not found in /home/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.mod
pr-ci-rust / testRust (AwsCryptographicMaterialProviders, macos-14)
Restore cache failed: Dependencies file is not found in /Users/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.mod
pr-ci-rust / testRust (AwsCryptographicMaterialProviders, macos-14)
Restore cache failed: Dependencies file is not found in /Users/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.mod
pr-ci-go / testGo (TestVectorsAwsCryptographicMaterialProviders, 1.23, macos-14)
Restore cache failed: Dependencies file is not found in /Users/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.mod
pr-ci-go / testGo (TestVectorsAwsCryptographicMaterialProviders, 1.23, macos-14)
Restore cache failed: Dependencies file is not found in /Users/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.mod
pr-ci-java / testJava (StandardLibrary, macos-14, 19)
Restore cache failed: Dependencies file is not found in /Users/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.mod
pr-fuzz-interop-test / generateEncryptVectors (TestVectorsAwsCryptographicMaterialProviders, ubuntu-22.04, python, 6.0.x)
Restore cache failed: Dependencies file is not found in /home/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.mod
pr-fuzz-interop-test / generateEncryptVectors (TestVectorsAwsCryptographicMaterialProviders, ubuntu-22.04, python, 6.0.x)
Restore cache failed: Dependencies file is not found in /home/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.mod
pr-ci-java / testJava (AwsCryptographicMaterialProviders, macos-14, 11)
Restore cache failed: Dependencies file is not found in /Users/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.mod
pr-ci-go / testGo (TestVectorsAwsCryptographicMaterialProviders, 1.25, macos-14)
Restore cache failed: Dependencies file is not found in /Users/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.mod
pr-ci-go / testGo (TestVectorsAwsCryptographicMaterialProviders, 1.25, macos-14)
Restore cache failed: Dependencies file is not found in /Users/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.mod
pr-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, ubuntu-22.04, net, 6.0.x)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, ubuntu-22.04, net, 6.0.x)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, ubuntu-22.04, net, 6.0.x)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, ubuntu-22.04, net, 6.0.x)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, ubuntu-22.04, net, 6.0.x)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, ubuntu-22.04, net, 6.0.x)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, ubuntu-22.04, net, 6.0.x)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, ubuntu-22.04, net, 6.0.x)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, ubuntu-22.04, net, 6.0.x)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, ubuntu-22.04, net, 6.0.x)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, ubuntu-22.04, net, 6.0.x)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, ubuntu-22.04, net, 6.0.x)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, ubuntu-22.04, net, 6.0.x)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, ubuntu-22.04, net, 6.0.x)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, ubuntu-22.04, net, 6.0.x)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, ubuntu-22.04, net, 6.0.x)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, ubuntu-22.04, net, 6.0.x)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, ubuntu-22.04, net, 6.0.x)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, ubuntu-22.04, net, 6.0.x)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, ubuntu-22.04, net, 6.0.x)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, ubuntu-22.04, net, 6.0.x)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, ubuntu-22.04, net, 6.0.x)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, ubuntu-22.04, net, 6.0.x)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, ubuntu-22.04, net, 6.0.x)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, ubuntu-22.04, net, 6.0.x)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, ubuntu-22.04, net, 6.0.x)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, ubuntu-22.04, net, 6.0.x)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, ubuntu-22.04, net, 6.0.x)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, ubuntu-22.04, net, 6.0.x): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L18271
Unreachable code detected
pr-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, ubuntu-22.04, net, 6.0.x): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L18244
Unreachable code detected
pr-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, ubuntu-22.04, net, 6.0.x): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L18367
Unreachable code detected
pr-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, ubuntu-22.04, net, 6.0.x): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L18339
Unreachable code detected
pr-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, ubuntu-22.04, net, 6.0.x): StandardLibrary/runtimes/net/Extern/UTF8.cs#L45
The variable 'e' is declared but never used
pr-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, ubuntu-22.04, net, 6.0.x): StandardLibrary/runtimes/net/Extern/UTF8.cs#L30
The variable 'e' is declared but never used
pr-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, ubuntu-22.04, net, 6.0.x): StandardLibrary/runtimes/net/Extern/UTF8.cs#L25
The variable 'e' is declared but never used
pr-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, ubuntu-22.04, net, 6.0.x)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, ubuntu-22.04, net, 6.0.x)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, ubuntu-22.04, net, 6.0.x)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, ubuntu-22.04, net, 6.0.x)
Restore cache failed: Dependencies file is not found in /home/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.mod
pr-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, ubuntu-22.04, net, 6.0.x)
Restore cache failed: Dependencies file is not found in /home/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.mod
pr-ci-rust / testRust (TestVectorsAwsCryptographicMaterialProviders, ubuntu-22.04)
Restore cache failed: Dependencies file is not found in /home/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.mod
pr-ci-rust / testRust (TestVectorsAwsCryptographicMaterialProviders, ubuntu-22.04)
Restore cache failed: Dependencies file is not found in /home/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.mod
pr-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, ubuntu-22.04, go, 6.0.x)
Restore cache failed: Dependencies file is not found in /home/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.mod
pr-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, ubuntu-22.04, go, 6.0.x)
Restore cache failed: Dependencies file is not found in /home/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.mod
pr-ci-rust / testRust (TestVectorsAwsCryptographicMaterialProviders, macos-14)
Restore cache failed: Dependencies file is not found in /Users/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.mod
pr-ci-rust / testRust (TestVectorsAwsCryptographicMaterialProviders, macos-14)
Restore cache failed: Dependencies file is not found in /Users/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.mod
pr-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, ubuntu-22.04, java, 6.0.x)
Restore cache failed: Dependencies file is not found in /home/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.mod
pr-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, ubuntu-22.04, java, 6.0.x)
Restore cache failed: Dependencies file is not found in /home/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.mod
pr-fuzz-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, ubuntu-22.04, net, 6.0.x)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-fuzz-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, ubuntu-22.04, net, 6.0.x)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-fuzz-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, ubuntu-22.04, net, 6.0.x)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-fuzz-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, ubuntu-22.04, net, 6.0.x)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-fuzz-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, ubuntu-22.04, net, 6.0.x)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-fuzz-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, ubuntu-22.04, net, 6.0.x)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-fuzz-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, ubuntu-22.04, net, 6.0.x)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-fuzz-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, ubuntu-22.04, net, 6.0.x)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-fuzz-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, ubuntu-22.04, net, 6.0.x)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-fuzz-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, ubuntu-22.04, net, 6.0.x)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-fuzz-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, ubuntu-22.04, net, 6.0.x)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-fuzz-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, ubuntu-22.04, net, 6.0.x)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-fuzz-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, ubuntu-22.04, net, 6.0.x)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-fuzz-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, ubuntu-22.04, net, 6.0.x)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-fuzz-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, ubuntu-22.04, net, 6.0.x)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-fuzz-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, ubuntu-22.04, net, 6.0.x)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-fuzz-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, ubuntu-22.04, net, 6.0.x)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-fuzz-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, ubuntu-22.04, net, 6.0.x)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-fuzz-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, ubuntu-22.04, net, 6.0.x)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-fuzz-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, ubuntu-22.04, net, 6.0.x)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-fuzz-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, ubuntu-22.04, net, 6.0.x)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-fuzz-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, ubuntu-22.04, net, 6.0.x)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-fuzz-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, ubuntu-22.04, net, 6.0.x)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-fuzz-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, ubuntu-22.04, net, 6.0.x)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-fuzz-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, ubuntu-22.04, net, 6.0.x)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-fuzz-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, ubuntu-22.04, net, 6.0.x)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-fuzz-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, ubuntu-22.04, net, 6.0.x)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-fuzz-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, ubuntu-22.04, net, 6.0.x)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-fuzz-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, ubuntu-22.04, net, 6.0.x): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L18271
Unreachable code detected
pr-fuzz-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, ubuntu-22.04, net, 6.0.x): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L18244
Unreachable code detected
pr-fuzz-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, ubuntu-22.04, net, 6.0.x): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L18367
Unreachable code detected
pr-fuzz-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, ubuntu-22.04, net, 6.0.x): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L18339
Unreachable code detected
pr-fuzz-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, ubuntu-22.04, net, 6.0.x): StandardLibrary/runtimes/net/Extern/UTF8.cs#L45
The variable 'e' is declared but never used
pr-fuzz-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, ubuntu-22.04, net, 6.0.x): StandardLibrary/runtimes/net/Extern/UTF8.cs#L30
The variable 'e' is declared but never used
pr-fuzz-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, ubuntu-22.04, net, 6.0.x): StandardLibrary/runtimes/net/Extern/UTF8.cs#L25
The variable 'e' is declared but never used
pr-fuzz-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, ubuntu-22.04, net, 6.0.x)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-fuzz-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, ubuntu-22.04, net, 6.0.x)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-fuzz-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, ubuntu-22.04, net, 6.0.x)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-fuzz-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, ubuntu-22.04, net, 6.0.x)
Restore cache failed: Dependencies file is not found in /home/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.mod
pr-fuzz-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, ubuntu-22.04, net, 6.0.x)
Restore cache failed: Dependencies file is not found in /home/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.mod
pr-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, ubuntu-22.04, rust, 6.0.x)
Restore cache failed: Dependencies file is not found in /home/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.mod
pr-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, ubuntu-22.04, rust, 6.0.x)
Restore cache failed: Dependencies file is not found in /home/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.mod
pr-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, macos-14, net, 6.0.x)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, macos-14, net, 6.0.x)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, macos-14, net, 6.0.x)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, macos-14, net, 6.0.x)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, macos-14, net, 6.0.x)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, macos-14, net, 6.0.x)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, macos-14, net, 6.0.x)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, macos-14, net, 6.0.x)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, macos-14, net, 6.0.x)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, macos-14, net, 6.0.x)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, macos-14, net, 6.0.x)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, macos-14, net, 6.0.x)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, macos-14, net, 6.0.x)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, macos-14, net, 6.0.x)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, macos-14, net, 6.0.x)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, macos-14, net, 6.0.x)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, macos-14, net, 6.0.x)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, macos-14, net, 6.0.x)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, macos-14, net, 6.0.x)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, macos-14, net, 6.0.x)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, macos-14, net, 6.0.x)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, macos-14, net, 6.0.x)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, macos-14, net, 6.0.x)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, macos-14, net, 6.0.x)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, macos-14, net, 6.0.x)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, macos-14, net, 6.0.x)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, macos-14, net, 6.0.x)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, macos-14, net, 6.0.x)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, macos-14, net, 6.0.x): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L17217
Unreachable code detected
pr-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, macos-14, net, 6.0.x): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L17176
Unreachable code detected
pr-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, macos-14, net, 6.0.x): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L18271
Unreachable code detected
pr-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, macos-14, net, 6.0.x): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L18244
Unreachable code detected
pr-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, macos-14, net, 6.0.x): StandardLibrary/runtimes/net/Extern/UTF8.cs#L45
The variable 'e' is declared but never used
pr-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, macos-14, net, 6.0.x): StandardLibrary/runtimes/net/Extern/UTF8.cs#L30
The variable 'e' is declared but never used
pr-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, macos-14, net, 6.0.x): StandardLibrary/runtimes/net/Extern/UTF8.cs#L25
The variable 'e' is declared but never used
pr-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, macos-14, net, 6.0.x)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, macos-14, net, 6.0.x)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, macos-14, net, 6.0.x)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, macos-14, net, 6.0.x)
Restore cache failed: Dependencies file is not found in /Users/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.mod
pr-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, macos-14, net, 6.0.x)
Restore cache failed: Dependencies file is not found in /Users/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.mod
pr-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, macos-14, net, 6.0.x)
openssl@3 3.6.1 is already installed and up-to-date. To reinstall 3.6.1, run: brew reinstall openssl@3
pr-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, macos-14, java, 6.0.x)
Restore cache failed: Dependencies file is not found in /Users/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.mod
pr-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, macos-14, java, 6.0.x)
Restore cache failed: Dependencies file is not found in /Users/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.mod
pr-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, ubuntu-22.04, python, 6.0.x)
Restore cache failed: Dependencies file is not found in /home/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.mod
pr-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, ubuntu-22.04, python, 6.0.x)
Restore cache failed: Dependencies file is not found in /home/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.mod
pr-fuzz-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, ubuntu-22.04, java, 6.0.x)
Restore cache failed: Dependencies file is not found in /home/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.mod
pr-fuzz-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, ubuntu-22.04, java, 6.0.x)
Restore cache failed: Dependencies file is not found in /home/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.mod
pr-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, macos-14, go, 6.0.x)
Restore cache failed: Dependencies file is not found in /Users/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.mod
pr-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, macos-14, go, 6.0.x)
Restore cache failed: Dependencies file is not found in /Users/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.mod
pr-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, macos-14, rust, 6.0.x)
Restore cache failed: Dependencies file is not found in /Users/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.mod
pr-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, macos-14, rust, 6.0.x)
Restore cache failed: Dependencies file is not found in /Users/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.mod
pr-fuzz-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, macos-14, net, 6.0.x)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-fuzz-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, macos-14, net, 6.0.x)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-fuzz-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, macos-14, net, 6.0.x)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-fuzz-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, macos-14, net, 6.0.x)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-fuzz-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, macos-14, net, 6.0.x)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-fuzz-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, macos-14, net, 6.0.x)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-fuzz-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, macos-14, net, 6.0.x)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-fuzz-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, macos-14, net, 6.0.x)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-fuzz-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, macos-14, net, 6.0.x)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-fuzz-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, macos-14, net, 6.0.x)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-fuzz-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, macos-14, net, 6.0.x)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-fuzz-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, macos-14, net, 6.0.x)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-fuzz-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, macos-14, net, 6.0.x)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-fuzz-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, macos-14, net, 6.0.x)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-fuzz-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, macos-14, net, 6.0.x)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-fuzz-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, macos-14, net, 6.0.x)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-fuzz-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, macos-14, net, 6.0.x)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-fuzz-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, macos-14, net, 6.0.x)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-fuzz-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, macos-14, net, 6.0.x)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-fuzz-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, macos-14, net, 6.0.x)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-fuzz-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, macos-14, net, 6.0.x)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-fuzz-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, macos-14, net, 6.0.x)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-fuzz-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, macos-14, net, 6.0.x)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-fuzz-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, macos-14, net, 6.0.x)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-fuzz-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, macos-14, net, 6.0.x)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-fuzz-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, macos-14, net, 6.0.x)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-fuzz-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, macos-14, net, 6.0.x)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-fuzz-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, macos-14, net, 6.0.x)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-fuzz-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, macos-14, net, 6.0.x): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L18271
Unreachable code detected
pr-fuzz-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, macos-14, net, 6.0.x): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L18244
Unreachable code detected
pr-fuzz-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, macos-14, net, 6.0.x): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L18367
Unreachable code detected
pr-fuzz-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, macos-14, net, 6.0.x): StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L18339
Unreachable code detected
pr-fuzz-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, macos-14, net, 6.0.x): StandardLibrary/runtimes/net/Extern/UTF8.cs#L45
The variable 'e' is declared but never used
pr-fuzz-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, macos-14, net, 6.0.x): StandardLibrary/runtimes/net/Extern/UTF8.cs#L30
The variable 'e' is declared but never used
pr-fuzz-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, macos-14, net, 6.0.x): StandardLibrary/runtimes/net/Extern/UTF8.cs#L25
The variable 'e' is declared but never used
pr-fuzz-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, macos-14, net, 6.0.x)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-fuzz-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, macos-14, net, 6.0.x)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-fuzz-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, macos-14, net, 6.0.x)
The target framework 'net6.0' is out of support and will not receive security updates in the future. Please refer to https://aka.ms/dotnet-core-support for more information about the support policy.
pr-fuzz-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, macos-14, net, 6.0.x)
Restore cache failed: Dependencies file is not found in /Users/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.mod
pr-fuzz-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, macos-14, net, 6.0.x)
Restore cache failed: Dependencies file is not found in /Users/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.mod
pr-fuzz-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, macos-14, net, 6.0.x)
openssl@3 3.6.1 is already installed and up-to-date. To reinstall 3.6.1, run: brew reinstall openssl@3
pr-fuzz-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, macos-14, go, 6.0.x)
Restore cache failed: Dependencies file is not found in /Users/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.mod
pr-fuzz-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, macos-14, go, 6.0.x)
Restore cache failed: Dependencies file is not found in /Users/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.mod
pr-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, macos-14, python, 6.0.x)
Restore cache failed: Dependencies file is not found in /Users/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.mod
pr-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, macos-14, python, 6.0.x)
Restore cache failed: Dependencies file is not found in /Users/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.mod
pr-fuzz-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, ubuntu-22.04, go, 6.0.x)
Restore cache failed: Dependencies file is not found in /home/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.mod
pr-fuzz-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, ubuntu-22.04, go, 6.0.x)
Restore cache failed: Dependencies file is not found in /home/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.mod
pr-fuzz-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, macos-14, java, 6.0.x)
Restore cache failed: Dependencies file is not found in /Users/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.mod
pr-fuzz-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, macos-14, java, 6.0.x)
Restore cache failed: Dependencies file is not found in /Users/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.mod
pr-fuzz-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, macos-14, rust, 6.0.x)
Restore cache failed: Dependencies file is not found in /Users/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.mod
pr-fuzz-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, macos-14, rust, 6.0.x)
Restore cache failed: Dependencies file is not found in /Users/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.mod
pr-fuzz-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, ubuntu-22.04, rust, 6.0.x)
Restore cache failed: Dependencies file is not found in /home/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.mod
pr-fuzz-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, ubuntu-22.04, rust, 6.0.x)
Restore cache failed: Dependencies file is not found in /home/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.mod
pr-fuzz-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, macos-14, python, 6.0.x)
Restore cache failed: Dependencies file is not found in /Users/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.mod
pr-fuzz-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, macos-14, python, 6.0.x)
Restore cache failed: Dependencies file is not found in /Users/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.mod
pr-fuzz-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, ubuntu-22.04, python, 6.0.x)
Restore cache failed: Dependencies file is not found in /home/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.mod
pr-fuzz-interop-test / testInteroperablity (TestVectorsAwsCryptographicMaterialProviders, ubuntu-22.04, python, 6.0.x)
Restore cache failed: Dependencies file is not found in /home/runner/work/aws-cryptographic-material-providers-library/aws-cryptographic-material-providers-library. Supported file pattern: go.mod

Artifacts

Produced during runtime
Name Size Digest
macos-14_vector_artifact_go
344 KB
sha256:ae48fa08a726dbb056243197ac559a41fe63d8308e0d6c1de88415d0a1d58920
macos-14_vector_artifact_go_fuzz
513 KB
sha256:45a7587cb051328077ac292c0fd824c04e7c6e560c1f3668ca754e1654f1a43c
macos-14_vector_artifact_java
370 KB
sha256:8da0879123ddb96560125140164df153cf48a71023088959cc0189470e7fe884
macos-14_vector_artifact_java_fuzz
522 KB
sha256:c7b8baaf166cd671b2b1b862be5f2dd29b44930f36242ab9b7f1e3400e9fa071
macos-14_vector_artifact_net
369 KB
sha256:04cb3c96b0180bceb194856cb3abc2b54e4f5baa14374fe011cc258e31ac5015
macos-14_vector_artifact_net_fuzz
516 KB
sha256:ea5ac8c07aae5306f2ac5a018a0295098d5b0941205f7faed2008a9012e15401
macos-14_vector_artifact_python
369 KB
sha256:c78aad9804975b2d591ff07db64980c61a904949347420f8e4eea0dd2194d012
macos-14_vector_artifact_python_fuzz
530 KB
sha256:ecd3b3297411f0d07511ff71a9dc58b509c9d953dc0e6c84ea51074f6d54483c
macos-14_vector_artifact_rust
369 KB
sha256:cabb796a63471b37d293436ed615bd6d44df4317850785c2ca06d4cea0371a00
macos-14_vector_artifact_rust_fuzz
521 KB
sha256:a8ecc9f38b460266996b4c0946d24553c573d633625a4238387cb2f6703862bc
ubuntu-22.04_vector_artifact_go
344 KB
sha256:6e869d449bd189b12260c35d5f37fcd909291fb28a7dd49060ef41caf885978b
ubuntu-22.04_vector_artifact_go_fuzz
526 KB
sha256:00f0c61a18966764a7475fa3a6eebfc075cd0b070c66f2e2cf327abaf070545f
ubuntu-22.04_vector_artifact_java
370 KB
sha256:457818542433fcb8ab984ea2170fba3f72cdfbb31e809cb9eb3f22684e28b966
ubuntu-22.04_vector_artifact_java_fuzz
520 KB
sha256:56411f1b6fbc898febff3fefbd36b487b0dc52d1fad87b68c6743f2ca691dc7b
ubuntu-22.04_vector_artifact_net
369 KB
sha256:444f4c3369d536bbcb66df3862928bc34b94a873d72c8f2f27a5fbadd6b33e6b
ubuntu-22.04_vector_artifact_net_fuzz
524 KB
sha256:a5962528948c212ee0f73eb93684dae0390464773f32ff3c9449d54c22644af5
ubuntu-22.04_vector_artifact_python
370 KB
sha256:daf99ce8dcec484d6695e55989be0c0b6568bc8b736f8a0226867bc6652c4f72
ubuntu-22.04_vector_artifact_python_fuzz
529 KB
sha256:24eb78ff1bf39522d5f293b5554c6e59add18fbe8020a3634e4c5a915ac2f4bd
ubuntu-22.04_vector_artifact_rust
369 KB
sha256:5546c7b524f31f593464ad93eeb4973ec3f2426d6aa8da00f0867ef7105f5f90
ubuntu-22.04_vector_artifact_rust_fuzz
530 KB
sha256:356a1f1659553afeaf0c0a40e9bd3b641416d4473fe52f8f530380e4a6eb1ec0