Skip to content

Roll pinned toolchain versions #282

Roll pinned toolchain versions

Roll pinned toolchain versions #282

Triggered via schedule May 20, 2024 12:39
Status Success
Total duration 1m 53s
Artifacts
Matrix: Roll pinned Kani version
Matrix: roll_rust
Fit to window
Zoom out
Zoom in