Skip to content
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.

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

Fix missing newline from banner #1647

Merged
merged 1 commit into from
Oct 10, 2024

Fix missing newline from banner

d4dd6f2
Select commit
Loading
Failed to load commit list.
Merged

Fix missing newline from banner #1647

Fix missing newline from banner
d4dd6f2
Select commit
Loading
Failed to load commit list.
Codecov / codecov/project succeeded Oct 10, 2024 in 0s

75.86% (+0.01%) compared to 506e87c

View this Pull Request on Codecov

75.86% (+0.01%) compared to 506e87c

Details

Codecov Report

Attention: Patch coverage is 0% with 1 line in your changes missing coverage. Please review.

Project coverage is 75.86%. Comparing base (506e87c) to head (d4dd6f2).
Report is 1 commits behind head on master.

Files with missing lines Patch % Lines
src/Hecke.jl 0.00% 1 Missing ⚠️
Additional details and impacted files
@@            Coverage Diff             @@
##           master    #1647      +/-   ##
==========================================
+ Coverage   75.84%   75.86%   +0.01%     
==========================================
  Files         361      361              
  Lines      113702   113703       +1     
==========================================
+ Hits        86241    86259      +18     
+ Misses      27461    27444      -17     
Files with missing lines Coverage Δ
src/Hecke.jl 51.77% <0.00%> (-0.17%) ⬇️

... and 29 files with indirect coverage changes