AdditiveClosureOfObjectFiniteCategory - #1874
Draft
TKuh wants to merge 1 commit into
Draft
Codecov / codecov/project
succeeded
Aug 6, 2026 in 0s
81.00% (+0.23%) compared to 9c6986f
View this Pull Request on Codecov
81.00% (+0.23%) compared to 9c6986f
Details
Codecov Report
❌ Patch coverage is 65.11905% with 293 lines in your changes missing coverage. Please review.
✅ Project coverage is 81.00%. Comparing base (9c6986f) to head (f61c63a).
| Files with missing lines | Patch % | Lines |
|---|---|---|
| ...orCAP/gap/AdditiveClosureOfObjectFiniteCategory.gi | 64.10% | 271 Missing |
| ...orCAP/gap/AdditiveClosureOfObjectFiniteCategory.gd | 73.17% | 22 Missing |
Additional details and impacted files
@@ Coverage Diff @@
## master #1874 +/- ##
==========================================
+ Coverage 80.76% 81.00% +0.23%
==========================================
Files 589 589
Lines 86321 87020 +699
==========================================
+ Hits 69720 70490 +770
+ Misses 16601 16530 -71 ☔ 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