Closed joschmitt closed 1 month ago
Attention: Patch coverage is 91.53846%
with 11 lines
in your changes missing coverage. Please review.
Project coverage is 85.73%. Comparing base (
8528795
) to head (038b8b2
).
Files | Patch % | Lines |
---|---|---|
src/flint/fmpz.jl | 92.59% | 6 Missing :warning: |
src/Deprecations.jl | 0.00% | 3 Missing :warning: |
src/HeckeMoreStuff.jl | 0.00% | 1 Missing :warning: |
src/flint/gfp_elem.jl | 80.00% | 1 Missing :warning: |
:umbrella: View full report in Codecov by Sentry.
:loudspeaker: Have feedback on the report? Share it here.
I started tidying up
src/HeckeMiscInteger.jl
at some point. It's not done yet, but probably better to merge this, before there are too many conflicts or I forget about it.