feat: more information in banner for dev version #3687
+12
−3
Merged
Codecov / codecov/patch
succeeded
May 3, 2024 in 0s
0.00% of diff hit (target 82.70%)
View this Pull Request on Codecov
0.00% of diff hit (target 82.70%)
Annotations
Check warning on line 44 in src/Oscar.jl
codecov / codecov/patch
src/Oscar.jl#L44
Added line #L44 was not covered by tests
Check warning on line 49 in src/Oscar.jl
codecov / codecov/patch
src/Oscar.jl#L46-L49
Added lines #L46 - L49 were not covered by tests
Check warning on line 51 in src/Oscar.jl
codecov / codecov/patch
src/Oscar.jl#L51
Added line #L51 was not covered by tests
Check warning on line 54 in src/Oscar.jl
codecov / codecov/patch
src/Oscar.jl#L54
Added line #L54 was not covered by tests
Loading