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

Extend ideal interface #1731

Merged
merged 10 commits into from
Aug 18, 2024

Forbid ideal(R) for creating empty ideal

980d758
Select commit
Loading
Failed to load commit list.
Merged

Extend ideal interface #1731

Forbid ideal(R) for creating empty ideal
980d758
Select commit
Loading
Failed to load commit list.
Codecov / codecov/project succeeded Aug 18, 2024 in 0s

87.84% (+0.18%) compared to 51d35b2

View this Pull Request on Codecov

87.84% (+0.18%) compared to 51d35b2

Details

Codecov Report

Attention: Patch coverage is 0% with 12 lines in your changes missing coverage. Please review.

Project coverage is 87.84%. Comparing base (51d35b2) to head (980d758).
Report is 6 commits behind head on master.

Files Patch % Lines
src/Ideal.jl 0.00% 12 Missing ⚠️
Additional details and impacted files
@@            Coverage Diff             @@
##           master    #1731      +/-   ##
==========================================
+ Coverage   87.65%   87.84%   +0.18%     
==========================================
  Files         117      117              
  Lines       30090    30753     +663     
==========================================
+ Hits        26376    27015     +639     
- Misses       3714     3738      +24     

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