Closed fingolfin closed 5 months ago
Attention: Patch coverage is 83.33333%
with 5 lines
in your changes are missing coverage. Please review.
Project coverage is 84.88%. Comparing base (
1313283
) to head (a276f04
).
Files | Patch % | Lines |
---|---|---|
src/embedding/EmbeddingTypes.jl | 50.00% | 2 Missing :warning: |
src/flint/flint_puiseux_series.jl | 50.00% | 2 Missing :warning: |
src/flint/qadic.jl | 0.00% | 1 Missing :warning: |
:umbrella: View full report in Codecov by Sentry.
:loudspeaker: Have feedback on the report? Share it here.
Rebased.
And I didn't miss test/flint/fq_default_extended-test.jl
, I deliberately did not touch it, as I have no idea how to combine terse
with sprint
. And it also seems to be testing an odd mix between "supercompact" and "detailed" printing mode. Someone else should figure that one out and resolve it
Rebased.
And I didn't miss
test/flint/fq_default_extended-test.jl
, I deliberately did not touch it, as I have no idea how to combineterse
withsprint
. And it also seems to be testing an odd mix between "supercompact" and "detailed" printing mode. Someone else should figure that one out and resolve it
I think I got a trivial change, inspired by flint/fmpq-test.jl
.
This requires a new AA release