Skip to content
Kani Format Check

Update the rust toolchain to nightly-2024-04-03 #279

Sign in to view logs

Update the rust toolchain to nightly-2024-04-03

Update the rust toolchain to nightly-2024-04-03 #279

Triggered via push April 5, 2024 13:03
@tautschnigtautschnig
pushed e2856c7
toolchain-upgrade-2024-04-03-manual
Status Success
Total duration 2m 1s
Artifacts –

format-check.yml

on: push
format-check
6s
format-check
clippy-check
1m 48s
clippy-check
Fit to window
Zoom out
Zoom in