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

Jump to bottom

Fix missing newline from banner #1647

Merged

thofma merged 1 commit into thofma:master from paemurru:ep/add_missing_newline

Oct 10, 2024

Merged

Fix missing newline from banner #1647

Fix missing newline from banner

Codecov / codecov/patch succeeded Oct 10, 2024 in 0s

0.00% of diff hit (target 75.84%)

View this Pull Request on Codecov

0.00% of diff hit (target 75.84%)

Annotations

Check warning on line 158 in src/Hecke.jl

codecov / codecov/patch

src/Hecke.jl#L158

Added line #L158 was not covered by tests

View more details on Codecov