Closed lgoettgens closed 2 months ago
All modified and coverable lines are covered by tests :white_check_mark:
Project coverage is 86.85%. Comparing base (
8ac3e1f
) to head (6d5c3d8
).
:umbrella: View full report in Codecov by Sentry.
:loudspeaker: Have feedback on the report? Share it here.
Since Oscar is not adapted to 0.41 yet, we can move this now easily without getting precompilation errors.
x-ref: https://github.com/oscar-system/Oscar.jl/blob/bfd7624b3f2ed4c057770440756fe9066ad297e5/src/aliases.jl#L4-L5