Skip to content
Quasar

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 11m 7s
Artifacts –

quasar.yml

on: pull_request
changes
7s
changes
Matrix: build-and-test
lint
10m 53s
lint
summary
6s
summary
Fit to window
Zoom out
Zoom in

Annotations

2 warnings and 5 notices
build-and-test-group-0
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/cache@v4, actions/checkout@v4, mozilla-actions/sccache-action@v0.0.9. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
lint
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/cache@v4. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
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"
sccache stats
72% - 540 hits, 211 misses, 0 errors
build-and-test-group-0
"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"
lint
"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"