Skip to content
Roll pinned toolchain versions

Roll pinned toolchain versions #348

Sign in to view logs

Roll pinned toolchain versions

Roll pinned toolchain versions #348

Triggered via schedule July 24, 2024 12:39
@joshlfjoshlf
⁠ 2a0ea2a
main
Status Success
Total duration 1m 34s
Artifacts –

roll-pinned-toolchain-versions.yml

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