CI MPL HEAD #389
ajewellamzmpl-head.yml
on: schedule
getVersion
/
getDafnyVersion
13s
getMplHeadVersion
/
getMplHeadVersion
1m 22s
getVerifyVersion
/
getDafnyVerifyVersion
13s
Matrix: mpl-head-ci-format / format_projects
Matrix: mpl-head-ci-net-examples / dotNetExamples
Matrix: mpl-head-ci-net-test-vectors / testDotNet
Matrix: mpl-head-ci-net / testDotNet
Matrix: mpl-head-ci-rust / testRust
Matrix: mpl-head-ci-java-examples / testJava
Matrix: mpl-head-ci-java-test-vectors / testJava
Matrix: mpl-head-ci-java / testJava
Matrix: mpl-head-ci-test-vector-verification / verification
Matrix: mpl-head-ci-verification / verification
Annotations
24 warnings
|
|
|
|
|
mpl-head-ci-net-test-vectors / testDotNet (TestVectors, 6.0.x, ubuntu-22.04):
submodules/MaterialProviders/StandardLibrary/runtimes/net/Extern/UTF8.cs#L45
The variable 'e' is declared but never used
|
|
mpl-head-ci-net-test-vectors / testDotNet (TestVectors, 6.0.x, ubuntu-22.04):
submodules/MaterialProviders/StandardLibrary/runtimes/net/Extern/UTF8.cs#L30
The variable 'e' is declared but never used
|
|
mpl-head-ci-net-test-vectors / testDotNet (TestVectors, 6.0.x, ubuntu-22.04):
submodules/MaterialProviders/StandardLibrary/runtimes/net/Extern/UTF8.cs#L25
The variable 'e' is declared but never used
|
|
mpl-head-ci-net-test-vectors / testDotNet (TestVectors, 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.
|
|
mpl-head-ci-net-test-vectors / testDotNet (TestVectors, 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.
|
|
mpl-head-ci-net-test-vectors / testDotNet (TestVectors, 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.
|
|
mpl-head-ci-net-test-vectors / testDotNet (TestVectors, 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.
|
|
mpl-head-ci-net-test-vectors / testDotNet (TestVectors, 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.
|
|
mpl-head-ci-net-test-vectors / testDotNet (TestVectors, 6.0.x, ubuntu-22.04)
Restore cache failed: Dependencies file is not found in /home/runner/work/aws-database-encryption-sdk-dynamodb/aws-database-encryption-sdk-dynamodb. Supported file pattern: go.sum
|
|
|
|
|
|
mpl-head-ci-net-test-vectors / testDotNet (TestVectors, 6.0.x, macos-15-intel):
submodules/MaterialProviders/StandardLibrary/runtimes/net/Extern/UTF8.cs#L45
The variable 'e' is declared but never used
|
|
mpl-head-ci-net-test-vectors / testDotNet (TestVectors, 6.0.x, macos-15-intel):
submodules/MaterialProviders/StandardLibrary/runtimes/net/Extern/UTF8.cs#L30
The variable 'e' is declared but never used
|
|
mpl-head-ci-net-test-vectors / testDotNet (TestVectors, 6.0.x, macos-15-intel):
submodules/MaterialProviders/StandardLibrary/runtimes/net/Extern/UTF8.cs#L25
The variable 'e' is declared but never used
|
|
mpl-head-ci-net-test-vectors / testDotNet (TestVectors, 6.0.x, macos-15-intel)
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.
|
|
mpl-head-ci-net-test-vectors / testDotNet (TestVectors, 6.0.x, macos-15-intel)
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.
|
|
mpl-head-ci-net-test-vectors / testDotNet (TestVectors, 6.0.x, macos-15-intel)
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.
|
|
mpl-head-ci-net-test-vectors / testDotNet (TestVectors, 6.0.x, macos-15-intel)
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.
|
|
mpl-head-ci-net-test-vectors / testDotNet (TestVectors, 6.0.x, macos-15-intel)
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.
|
|
mpl-head-ci-net-test-vectors / testDotNet (TestVectors, 6.0.x, macos-15-intel)
openssl@3 3.6.0 is already installed and up-to-date.
To reinstall 3.6.0, run:
brew reinstall openssl@3
|
|
mpl-head-ci-net-test-vectors / testDotNet (TestVectors, 6.0.x, macos-15-intel)
Restore cache failed: Dependencies file is not found in /Users/runner/work/aws-database-encryption-sdk-dynamodb/aws-database-encryption-sdk-dynamodb. Supported file pattern: go.sum
|
|
mpl-head-ci-net-test-vectors / testDotNet (TestVectors, 6.0.x, macos-15-intel)
`$HOMEBREW_NO_INSTALLED_DEPENDENTS_CHECK` is set: not checking for outdated
dependents or dependents with broken linkage!
|