Skip to content
Roll pinned toolchain versions

Roll pinned toolchain versions #502

Sign in to view logs

Roll pinned toolchain versions

Roll pinned toolchain versions #502

Triggered via schedule December 14, 2024 12:41
@joshlfjoshlf
⁠ a3f102d
main
Status Failure
Total duration 1m 48s
Artifacts –

roll-pinned-toolchain-versions.yml

on: schedule
Matrix: Roll pinned Kani version
Matrix: roll_rust
Fit to window
Zoom out
Zoom in

Annotations

6 errors and 6 warnings
Roll pinned Kani version (main)
Process completed with exit code 1.
Roll pinned Kani version (main)
Unable to process file command 'env' successfully.
Roll pinned Kani version (main)
Invalid format '0.1.5'
Roll pinned Kani version (v0.7.x)
Process completed with exit code 1.
Roll pinned Kani version (v0.7.x)
Unable to process file command 'env' successfully.
Roll pinned Kani version (v0.7.x)
Invalid format '0.1.5'
Roll pinned Kani version (main)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Roll pinned Kani version (v0.7.x)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Roll pinned toolchain stable version on main
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Roll pinned toolchain nightly version on v0.8.x
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Roll pinned toolchain nightly version on main
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Roll pinned toolchain stable version on v0.8.x
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636