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

Remove unnecessary loop variable from series meta-programming #1923

Merged
merged 1 commit into from
Oct 27, 2024

Remove unnecessary loop variable from series meta-programming

795c62c
Select commit
Loading
Failed to load commit list.
Merged

Remove unnecessary loop variable from series meta-programming #1923

Remove unnecessary loop variable from series meta-programming
795c62c
Select commit
Loading
Failed to load commit list.
Codecov / codecov/project succeeded Oct 25, 2024 in 0s

87.41% (+0.02%) compared to 06ec014

View this Pull Request on Codecov

87.41% (+0.02%) compared to 06ec014

Details

Codecov Report

Attention: Patch coverage is 91.12426% with 15 lines in your changes missing coverage. Please review.

Project coverage is 87.41%. Comparing base (06ec014) to head (795c62c).

Files with missing lines Patch % Lines
src/flint/nmod_rel_series.jl 88.52% 7 Missing ⚠️
src/flint/fmpz_mod_abs_series.jl 86.20% 4 Missing ⚠️
src/flint/fmpz_mod_rel_series.jl 94.54% 3 Missing ⚠️
src/flint/nmod_abs_series.jl 95.83% 1 Missing ⚠️
Additional details and impacted files
@@            Coverage Diff             @@
##           master    #1923      +/-   ##
==========================================
+ Coverage   87.39%   87.41%   +0.02%     
==========================================
  Files          97       97              
  Lines       35614    35614              
==========================================
+ Hits        31124    31132       +8     
+ Misses       4490     4482       -8     

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.