Skip to content
CI MPL HEAD

CI MPL HEAD #299

Sign in to view logs

CI MPL HEAD

CI MPL HEAD #299

Re-run triggered August 5, 2025 17:08
@ajewellamzajewellamz
⁠ 139c856
main
Status Success
Total duration 16m 52s
Artifacts –

mpl-head.yml

on: schedule
getVersion  /  getDafnyVersion
10s
getVersion / getDafnyVersion
getMplHeadVersion  /  getMplHeadVersion
1m 38s
getMplHeadVersion / getMplHeadVersion
getVerifyVersion  /  getDafnyVerifyVersion
11s
getVerifyVersion / getDafnyVerifyVersion
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
Fit to window
Zoom out
Zoom in

Annotations

11 warnings
mpl-head-ci-net-examples / dotNetExamples (DynamoDbEncryption, 6.0.x, macos-13): submodules/MaterialProviders/StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16917
Unreachable code detected
mpl-head-ci-net-examples / dotNetExamples (DynamoDbEncryption, 6.0.x, macos-13): submodules/MaterialProviders/StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L17127
Unreachable code detected
mpl-head-ci-net-examples / dotNetExamples (DynamoDbEncryption, 6.0.x, macos-13): submodules/MaterialProviders/StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L17086
Unreachable code detected
mpl-head-ci-net-examples / dotNetExamples (DynamoDbEncryption, 6.0.x, macos-13): submodules/MaterialProviders/StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L18104
Unreachable code detected
mpl-head-ci-net-examples / dotNetExamples (DynamoDbEncryption, 6.0.x, macos-13): submodules/MaterialProviders/StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L18077
Unreachable code detected
mpl-head-ci-net-examples / dotNetExamples (DynamoDbEncryption, 6.0.x, macos-13): submodules/MaterialProviders/StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L18200
Unreachable code detected
mpl-head-ci-net-examples / dotNetExamples (DynamoDbEncryption, 6.0.x, macos-13): submodules/MaterialProviders/StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L18172
Unreachable code detected
mpl-head-ci-net-examples / dotNetExamples (DynamoDbEncryption, 6.0.x, macos-13): submodules/MaterialProviders/StandardLibrary/runtimes/net/Extern/UTF8.cs#L45
The variable 'e' is declared but never used
mpl-head-ci-net-examples / dotNetExamples (DynamoDbEncryption, 6.0.x, macos-13): submodules/MaterialProviders/StandardLibrary/runtimes/net/Extern/UTF8.cs#L30
The variable 'e' is declared but never used
mpl-head-ci-net-examples / dotNetExamples (DynamoDbEncryption, 6.0.x, macos-13): submodules/MaterialProviders/StandardLibrary/runtimes/net/Extern/UTF8.cs#L25
The variable 'e' is declared but never used
mpl-head-ci-net-examples / dotNetExamples (DynamoDbEncryption, 6.0.x, macos-13)
The `python-version` input is not set. The version of Python currently in `PATH` will be used.