Skip to content
Kani Format Check

Only use CBMC results that are followed by CBMC's overall status (#4928) #13918

Sign in to view logs

Only use CBMC results that are followed by CBMC's overall status (#4928)

Only use CBMC results that are followed by CBMC's overall status (#4928) #13918

Triggered via push October 1, 2026 22:36
@github-merge-queuegithub-merge-queue[bot]
pushed 4783025
main
Status Success
Total duration 40m 38s
Artifacts –

format-check.yml

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

Annotations

1 error and 1 notice
format-check
Process completed with exit code 123.
format-check
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"