Add SubproblemCount attribute #135
Merged
Codecov / codecov/project
succeeded
Aug 8, 2025 in 1s
98.73% (+0.01%) compared to 515f7cc
View this Pull Request on Codecov
98.73% (+0.01%) compared to 515f7cc
Details
Codecov Report
✅ All modified and coverable lines are covered by tests.
✅ Project coverage is 98.73%. Comparing base (515f7cc) to head (3fc044c).
Additional details and impacted files
@@ Coverage Diff @@
## master #135 +/- ##
==========================================
+ Coverage 98.72% 98.73% +0.01%
==========================================
Files 12 12
Lines 1100 1109 +9
==========================================
+ Hits 1086 1095 +9
Misses 14 14 ☔ View full report in Codecov by Sentry.
📢 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