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

More signatures for quotient_ring_as_module and ideal_as_module #4174

Merged
merged 4 commits into from
Oct 4, 2024

correction

8823360
Select commit
Loading
Failed to load commit list.
Merged

More signatures for quotient_ring_as_module and ideal_as_module #4174

correction
8823360
Select commit
Loading
Failed to load commit list.
Codecov / codecov/project succeeded Oct 4, 2024 in 0s

84.59% (+0.00%) compared to 78da753

View this Pull Request on Codecov

84.59% (+0.00%) compared to 78da753

Details

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 84.59%. Comparing base (78da753) to head (8823360).

Additional details and impacted files
@@           Coverage Diff           @@
##           master    #4174   +/-   ##
=======================================
  Coverage   84.59%   84.59%           
=======================================
  Files         631      631           
  Lines       84813    84813           
=======================================
+ Hits        71747    71749    +2     
+ Misses      13066    13064    -2     
Files with missing lines Coverage Δ
src/Modules/ModulesGraded.jl 73.72% <100.00%> (ø)

... and 1 file with indirect coverage changes