Skip to content
Kani Format Check

Kani Format Check #12319

Sign in to view logs

Kani Format Check

Kani Format Check #12319

Triggered via merge group January 19, 2026 19:34
@tautschnigtautschnig
⁠ b0f1993
Status Success
Total duration 2m 31s
Artifacts –

format-check.yml

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

Annotations

1 error
format-check
Process completed with exit code 123.