Repository navigation
Report solver stats - #84
Merged
Merged
Codecov / codecov/project
succeeded
Oct 9, 2026 in 1s
99.07% (-0.03%) compared to 7389e12, passed because coverage increased by 0% when compared to adjusted base (99.06%)
View this Pull Request on Codecov
99.07% (-0.03%) compared to 7389e12, passed because coverage increased by 0% when compared to adjusted base (99.06%)
Details
Codecov Report
❌ Patch coverage is 99.08676% with 2 lines in your changes missing coverage. Please review.
✅ Project coverage is 99.07%. Comparing base (7389e12) to head (133689e).
| Files with missing lines | Patch % | Lines |
|---|---|---|
| src/stats.jl | 94.11% | 2 Missing |
Additional details and impacted files
@@ Coverage Diff @@
## main #84 +/- ##
==========================================
- Coverage 99.09% 99.07% -0.03%
==========================================
Files 21 22 +1
Lines 6085 6132 +47
==========================================
+ Hits 6030 6075 +45
- Misses 55 57 +2 ☔ 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.
Loading