Coverage report
Coverage is gated at 100%
Every module under src/keel/ except the python -m entry shim (__main__.py) is measured for line and branch coverage, and CI fails any change that takes the total below 100%.
Browse the full per-file coverage report — every file, line by line →
This copy of the site was built without a coverage run, so it shows no figures. The per-file numbers are generated from the coverage run when the site is built (make site); the full report above is where they come from.
| file | statements | missing | branch | line |
|---|
The coverage gate (fail_under = 100) runs in CI on every push, as the Test + coverage gate step of every required test job — a CI step of its own, not keel's s8 test step, whose build gate is make test. A drop below 100% fails those required checks, so it blocks keel's own merge. ← see keel ship itself · coverage docs