Skip to content
Roll pinned toolchain versions

Roll pinned toolchain versions #168

Sign in to view logs

Roll pinned toolchain versions

Roll pinned toolchain versions #168

Triggered via schedule May 14, 2024 12:51
@jrvanwhyjrvanwhy
⁠ cd82ae7
main
Status Failure
Total duration 1m 53s
Artifacts –

roll-pinned-toolchain-versions.yml

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

Annotations

6 errors
Roll pinned Kani version
Input 'token' not supplied. Unable to continue.
Roll pinned toolchain nightly version
Input 'token' not supplied. Unable to continue.
Roll pinned toolchain stable version
The job was canceled because "nightly" failed.
Roll pinned toolchain stable version
Input 'token' not supplied. Unable to continue.
Roll pinned toolchain stable version
The job was canceled because "nightly" failed.
Roll pinned toolchain stable version
Input 'token' not supplied. Unable to continue.