Skip to content
Rust Lint

Call the Kani harnesses model checks, not proofs #622

Sign in to view logs

Call the Kani harnesses model checks, not proofs

Call the Kani harnesses model checks, not proofs #622

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

rust.yml

on: pull_request
Rustfmt
14s
Rustfmt
Clippy
54s
Clippy
Fit to window
Zoom out
Zoom in

Annotations

2 notices
Rustfmt
"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"
Clippy
"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"