Repository navigation
Codecov / codecov/project
succeeded
Nov 4, 2026 in 0s
97.20% (target 95.00%)
View this Pull Request on Codecov
97.20% (target 95.00%)
Details
Codecov Report
❌ Patch coverage is 98.49057% with 8 lines in your changes missing coverage. Please review.
✅ Project coverage is 97.20%. Comparing base (e7bacb3) to head (f36f079).
| Files with missing lines | Patch % | Lines |
|---|---|---|
| ...les/boycecoddnormalformviolation_satisfiability.rs | 97.03% | 4 Missing |
| ...les/boycecoddnormalformviolation_satisfiability.rs | 98.98% | 4 Missing |
Additional details and impacted files
@@ Coverage Diff @@
## main #1239 +/- ##
========================================
Coverage 97.19% 97.20%
========================================
Files 1146 1148 +2
Lines 151558 152088 +530
========================================
+ Hits 147308 147830 +522
- Misses 4250 4258 +8 ☔ View full report in Codecov by Harness.
📢 Have feedback on the report? Share it here.
🚀 New features to boost your workflow:
- ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.
- 📦 JS Bundle Analysis: Save yourself from yourself by tracking and limiting bundle sizes in JS merges.
Loading