Skip to content
Kani Format Check

Automatic cargo update to 2024-08-26 #7793

Sign in to view logs

Automatic cargo update to 2024-08-26

Automatic cargo update to 2024-08-26 #7793

Triggered via pull request August 26, 2024 04:47
@tautschnigtautschnig
reopened #3459
cargo-update-2024-08-26
Status Success
Total duration 2m 17s
Artifacts –

format-check.yml

on: pull_request
format-check
9s
format-check
clippy-check
2m 9s
clippy-check
Fit to window
Zoom out
Zoom in