Skip to content

Upgrade Rust toolchain to nightly-2024-03-21 #6394

Upgrade Rust toolchain to nightly-2024-03-21

Upgrade Rust toolchain to nightly-2024-03-21 #6394

Triggered via pull request March 27, 2024 20:49
Status Success
Total duration 29m 21s
Artifacts

kani.yml

on: pull_request
Matrix: regression
Fit to window
Zoom out
Zoom in