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 a bunch of issues reported by JET.jl #1473

Merged
merged 1 commit into from
Oct 27, 2023

Fix a bunch of issues reported by JET.jl

ecddca8
Select commit
Loading
Failed to load commit list.
Merged

Fix a bunch of issues reported by JET.jl #1473

Fix a bunch of issues reported by JET.jl
ecddca8
Select commit
Loading
Failed to load commit list.
This check has been archived and is scheduled for deletion. Learn more about checks retention
Codecov / codecov/project succeeded Oct 27, 2023 in 0s

84.75% (+0.02%) compared to dd13b88

View this Pull Request on Codecov

84.75% (+0.02%) compared to dd13b88

Details

Codecov Report

Merging #1473 (ecddca8) into master (dd13b88) will increase coverage by 0.02%.
Report is 1 commits behind head on master.
The diff coverage is 70.58%.

@@            Coverage Diff             @@
##           master    #1473      +/-   ##
==========================================
+ Coverage   84.72%   84.75%   +0.02%     
==========================================
  Files         110      110              
  Lines       29365    29357       -8     
==========================================
+ Hits        24880    24881       +1     
+ Misses       4485     4476       -9     
Files Coverage Δ
src/NemoStuff.jl 1.22% <ø> (+<0.01%) ⬆️
src/PrettyPrinting.jl 92.45% <100.00%> (ø)
src/algorithms/MPolyEvaluate.jl 97.63% <100.00%> (ø)
src/error.jl 62.79% <100.00%> (ø)
src/algorithms/MPolyFactor.jl 36.11% <0.00%> (ø)
src/generic/GenericTypes.jl 92.80% <0.00%> (ø)
src/generic/Ideal.jl 87.74% <0.00%> (ø)
src/generic/PermGroups.jl 88.07% <85.71%> (+0.07%) ⬆️
src/generic/PriorityQueue.jl 62.11% <50.00%> (+2.34%) ⬆️

📣 We’re building smart automated test selection to slash your CI/CD build times. Learn more