Repository navigation
docs: add runnable examples and link interval proofs - #340
Merged
Merged
Codecov / codecov/project
succeeded
Nov 9, 2026 in 1s
98.35% (target 98.00%)
View this Pull Request on Codecov
98.35% (target 98.00%)
Details
Codecov Report
✅ All modified and coverable lines are covered by tests.
✅ Project coverage is 98.35%. Comparing base (86ed3a1) to head (647184f).
✅ All tests successful. No failed tests found.
Additional details and impacted files
@@ Coverage Diff @@
## main #340 +/- ##
=======================================
Coverage 98.35% 98.35%
=======================================
Files 16 16
Lines 7609 7609
=======================================
Hits 7484 7484
Misses 125 125 ☔ View full report in Codecov by Harness.
📢 Have feedback on the report? Share it here.
Loading