Skip to content
Kani Format Check

Add progress indicator and log file output for concise terminal output #12334

Sign in to view logs

Add progress indicator and log file output for concise terminal output

Add progress indicator and log file output for concise terminal output #12334

Triggered via pull request January 26, 2026 12:45
@tautschnigtautschnig
opened #4528
tautschnig:progress-bar
Status Failure
Total duration 1m 51s
Artifacts –

format-check.yml

on: pull_request
format-check
13s
format-check
clippy-check
1m 47s
clippy-check
Fit to window
Zoom out
Zoom in

Annotations

2 errors
format-check
Process completed with exit code 123.
clippy-check
Process completed with exit code 101.