Closed lgoettgens closed 2 months ago
All modified and coverable lines are covered by tests :white_check_mark:
Project coverage is 84.87%. Comparing base (
4beb832
) to head (92d2a73
). Report is 1 commits behind head on master.
:umbrella: View full report in Codecov by Sentry.
:loudspeaker: Have feedback on the report? Share it here.
Restarted CI. If neither @fingolfin nor @thofma objects to https://github.com/Nemocas/Nemo.jl/issues/1722#issuecomment-2084867522, we can merge this once CI is happy.
Reverts Nemocas/Nemo.jl#1723, and thus relands #1702.
This won't work until https://github.com/Nemocas/Nemo.jl/issues/1722 is resolved.