Skip to content
Kani Format Check

Kani Format Check #12176

Sign in to view logs

Kani Format Check

Kani Format Check #12176

Triggered via merge group November 25, 2025 11:39
@tautschnigtautschnig
⁠ fdc3c7d
Status Success
Total duration 2m 44s
Artifacts –

format-check.yml

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

Annotations

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