Skip to content
Roll pinned toolchain versions

Roll pinned toolchain versions #172

Sign in to view logs

Roll pinned toolchain versions

Roll pinned toolchain versions #172

Triggered via schedule August 4, 2024 12:48
@zoo868ezoo868e
⁠ f1f0184
main
Status Failure
Total duration 20s
Artifacts –

roll-pinned-toolchain-versions.yml

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

Annotations

9 errors
Roll pinned Kani version (main)
Input 'token' not supplied. Unable to continue.
Roll pinned toolchain stable version on main
Process completed with exit code 101.
Roll pinned Kani version (v0.7.x)
The job was canceled because "main" failed.
Roll pinned Kani version (v0.7.x)
The operation was canceled.
Roll pinned toolchain nightly version on v0.7.x
The job was canceled because "stable_main" failed.
Roll pinned toolchain stable version on v0.7.x
The job was canceled because "stable_main" failed.
Roll pinned toolchain nightly version on v0.7.x
The operation was canceled.
Roll pinned toolchain stable version on v0.7.x
The operation was canceled.
Roll pinned toolchain nightly version on main
The job was canceled because "stable_main" failed.