Intersection theory: correct bug, add more examples #4269
Merged
Codecov / codecov/project
succeeded
Nov 4, 2024 in 0s
84.48% (+0.00%) compared to aea00d0
View this Pull Request on Codecov
84.48% (+0.00%) compared to aea00d0
Details
Codecov Report
Attention: Patch coverage is 50.00000%
with 2 lines
in your changes missing coverage. Please review.
Project coverage is 84.48%. Comparing base (
aea00d0
) to head (7b085d7
).
Files with missing lines | Patch % | Lines |
---|---|---|
experimental/IntersectionTheory/src/Main.jl | 50.00% | 2 Missing |
Additional details and impacted files
@@ Coverage Diff @@
## master #4269 +/- ##
=======================================
Coverage 84.47% 84.48%
=======================================
Files 641 641
Lines 85427 85429 +2
=======================================
+ Hits 72168 72171 +3
+ Misses 13259 13258 -1
Files with missing lines | Coverage Δ | |
---|---|---|
experimental/IntersectionTheory/src/Main.jl | 93.27% <50.00%> (+0.19%) |
⬆️ |
Loading