Skip to content
Kani

Make the docs match the programs, and close the gaps nothing was checking #132

Sign in to view logs

Make the docs match the programs, and close the gaps nothing was checking

Make the docs match the programs, and close the gaps nothing was checking #132

Triggered via pull request August 20, 2026 17:54
@mikemaccanamikemaccana
opened #131
claude/docs-match-implementation
Status Success
Total duration 25s
Artifacts –

kani.yml

on: pull_request
Matrix: unit-tests
Matrix: verify
Fit to window
Zoom out
Zoom in