New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

OscarNumber: small improvements #468

Merged

benlorenz merged 2 commits into master from bl/ontypes

Feb 1, 2024

Codecov / codecov/patch succeeded Jan 31, 2024 in 1s

0.00% of diff hit (target 69.40%)

View this Pull Request on Codecov

0.00% of diff hit (target 69.40%)

Annotations

Check warning on line 119 in src/oscarnumber.jl

codecov / codecov/patch

src/oscarnumber.jl#L119

Added line #L119 was not covered by tests

Check warning on line 122 in src/oscarnumber.jl

codecov / codecov/patch

src/oscarnumber.jl#L122

Added line #L122 was not covered by tests

Check warning on line 134 in src/oscarnumber.jl

codecov / codecov/patch

src/oscarnumber.jl#L134

Added line #L134 was not covered by tests

Check warning on line 203 in src/oscarnumber.jl

codecov / codecov/patch

src/oscarnumber.jl#L202-L203

Added lines #L202 - L203 were not covered by tests

Check warning on line 209 in src/oscarnumber.jl

codecov / codecov/patch

src/oscarnumber.jl#L209

Added line #L209 was not covered by tests

Check warning on line 279 in src/oscarnumber.jl

codecov / codecov/patch

src/oscarnumber.jl#L279

Added line #L279 was not covered by tests

View more details on Codecov