Skip to content
Native

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 18s
Artifacts –

native.yml

on: pull_request
changes
5s
changes
Matrix: build-and-test
summary
6s
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"