Skip to content
Kani Format Check

Automatic cargo update to 2024-10-21 #8521

Sign in to view logs

Automatic cargo update to 2024-10-21

Automatic cargo update to 2024-10-21 #8521

Triggered via pull request October 21, 2024 05:53
@tautschnigtautschnig
reopened #3622
cargo-update-2024-10-21
Status Success
Total duration 4m 11s
Artifacts –

format-check.yml

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