Hide Polymake.jl banner, when used in other module #480
Codecov / codecov/patch
succeeded
Apr 11, 2024 in 1s
100.00% of diff hit (target 69.57%)
View this Pull Request on Codecov
100.00% of diff hit (target 69.57%)
Loading
View this Pull Request on Codecov
100.00% of diff hit (target 69.57%)