Skip to content
Roll pinned toolchain versions

Roll pinned toolchain versions #431

Sign in to view logs

Roll pinned toolchain versions

Roll pinned toolchain versions #431

Re-run triggered October 8, 2024 01:14
@joshlfjoshlf
⁠ d59fc60
fix-rollers
Status Failure
Total duration 18s
Artifacts –

roll-pinned-toolchain-versions.yml

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

Annotations

6 errors
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'