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

Add is_prime(char) check to GF(char, k) #1598

Merged
merged 3 commits into from
Dec 18, 2023

Add newlines

f0eec2d
Select commit
Loading
Failed to load commit list.
Merged

Add is_prime(char) check to GF(char, k) #1598

Add newlines
f0eec2d
Select commit
Loading
Failed to load commit list.
Codecov / codecov/project succeeded Dec 15, 2023 in 1s

84.15% (+0.00%) compared to 209d6b4

View this Pull Request on Codecov

84.15% (+0.00%) compared to 209d6b4

Details

Codecov Report

Attention: 2 lines in your changes are missing coverage. Please review.

Comparison is base (209d6b4) 84.14% compared to head (f0eec2d) 84.15%.

Files Patch % Lines
src/flint/FlintTypes.jl 66.66% 2 Missing ⚠️
Additional details and impacted files
@@           Coverage Diff           @@
##           master    #1598   +/-   ##
=======================================
  Coverage   84.14%   84.15%           
=======================================
  Files          94       94           
  Lines       36854    36857    +3     
=======================================
+ Hits        31011    31017    +6     
+ Misses       5843     5840    -3     

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