Closed joschmitt closed 4 months ago
Attention: Patch coverage is 98.36066%
with 2 lines
in your changes are missing coverage. Please review.
Project coverage is 85.10%. Comparing base (
7a72976
) to head (e2bcb5f
).
Files | Patch % | Lines |
---|---|---|
src/HeckeMiscFiniteField.jl | 0.00% | 1 Missing :warning: |
src/embedding/EmbeddingTypes.jl | 88.88% | 1 Missing :warning: |
:umbrella: View full report in Codecov by Sentry.
:loudspeaker: Have feedback on the report? Share it here.
I procrastinated a bit yesterday and tidied up
HeckeMiscFiniteFields.jl
. This moves functions to the correct file and adds tests. Some functions were duplicates. There is just one function left in this file which needs Hecke to work...The OSCAR and Hecke tests work locally for me.
I think this is the smallest of these
Hecke*
files, but it's a start.