Skip to content
Kani Format Check

Update Rust toolchain to 2023-09-23 #178

Sign in to view logs

Update Rust toolchain to 2023-09-23

Update Rust toolchain to 2023-09-23 #178

Triggered via push October 4, 2023 12:05
@tautschnigtautschnig
pushed 27cb922
update-toolchain-2023-09-23
Status Success
Total duration 3m 53s
Artifacts –

format-check.yml

on: push
format-check
9s
format-check
clippy-check
3m 42s
clippy-check
Fit to window
Zoom out
Zoom in