Skip to content
Pinocchio

Call the Kani harnesses model checks, not proofs #575

Sign in to view logs

Call the Kani harnesses model checks, not proofs

Call the Kani harnesses model checks, not proofs #575

Triggered via pull request September 30, 2026 16:43
@mikemaccanamikemaccana
opened #170
claude/kani-model-check-docs
Status Success
Total duration 17s
Artifacts –

pinocchio.yml

on: pull_request
changes
7s
changes
Matrix: build-and-test
summary
4s
summary
Fit to window
Zoom out
Zoom in

Annotations

2 notices
changes
"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"
summary
"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"