Skip to content
Kani Format Check

Extend comment #361

Sign in to view logs

Extend comment

Extend comment #361

Triggered via push June 24, 2024 10:03
@tautschnigtautschnig
pushed d273960
cbmc-6
Status Success
Total duration 2m 9s
Artifacts –

format-check.yml

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