Skip to content
Roll pinned toolchain versions

Roll pinned toolchain versions #401

Sign in to view logs

Roll pinned toolchain versions

Roll pinned toolchain versions #401

Manually triggered September 10, 2024 13:02
@joshlfjoshlf
⁠ 70a589b
roll-package-filepath
Status Success
Total duration 1m 47s
Artifacts –

roll-pinned-toolchain-versions.yml

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