codecov[bot]
commented
2 months ago Codecov Report
All modified and coverable lines are covered by tests :white_check_mark:
Project coverage is 84.88%. Comparing base (
f3683d0) to head (e592b27).
Additional details and impacted files
```diff @@ Coverage Diff @@ ## master #1723 +/- ## ========================================== - Coverage 84.90% 84.88% -0.02% ========================================== Files 94 94 Lines 37229 37233 +4 ========================================== - Hits 31608 31604 -4 - Misses 5621 5629 +8 ```:umbrella: View full report in Codecov by Sentry.
:loudspeaker: Have feedback on the report? Share it here.
Reverts Nemocas/Nemo.jl#1702 to keep circumvent https://github.com/Nemocas/Nemo.jl/issues/1722 for the meantime (and keep CI green).
Once https://github.com/Nemocas/Nemo.jl/issues/1722 is fixed, we can re-land Nemocas/Nemo.jl#1702.