Skip to content

Kani Format Check #9670

Kani Format Check

Kani Format Check #9670

Triggered via merge group March 4, 2025 14:57
Status Cancelled
Total duration 15s
Artifacts

format-check.yml

on: merge_group
format-check
5s
format-check
clippy-check
0s
clippy-check
Fit to window
Zoom out
Zoom in

Annotations

2 errors
clippy-check
This is a scheduled Ubuntu 20.04 brownout. Ubuntu 20.04 LTS runner will be removed on 2025-04-01. For more details, see https://github.com/actions/runner-images/issues/11101
clippy-check
GitHub Actions has encountered an internal error when running your job.