Skip to content
Kani Format Check

Automatic cargo update to 2024-08-12 #7637

Sign in to view logs

Automatic cargo update to 2024-08-12

Automatic cargo update to 2024-08-12 #7637

Triggered via pull request August 12, 2024 07:51
@tautschnigtautschnig
reopened #3433
cargo-update-2024-08-12
Status Success
Total duration 2m 27s
Artifacts –

format-check.yml

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