Fix/bussproofs - #1525
Merged
Merged
Codecov / codecov/project
succeeded
Jul 14, 2026 in 0s
86.70% (+0.23%) compared to 05c4055
View this Pull Request on Codecov
86.70% (+0.23%) compared to 05c4055
Details
Codecov Report
❌ Patch coverage is 94.64286% with 15 lines in your changes missing coverage. Please review.
✅ Project coverage is 86.70%. Comparing base (05c4055) to head (27bfcf7).
| Files with missing lines | Patch % | Lines |
|---|---|---|
| ts/input/tex/bussproofs/BussproofsItems.ts | 73.68% | 10 Missing |
| ts/input/tex/bussproofs/BussproofsMethods.ts | 97.26% | 5 Missing |
Additional details and impacted files
@@ Coverage Diff @@
## develop #1525 +/- ##
===========================================
+ Coverage 86.47% 86.70% +0.23%
===========================================
Files 340 340
Lines 86178 86265 +87
Branches 4856 4906 +50
===========================================
+ Hits 74520 74799 +279
+ Misses 11658 11466 -192 ☔ 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