Skip to content

Allow Nemo 0.49#95

Merged
ederc merged 2 commits intoalgebraic-solving:mainfrom
lgoettgens:patch-1
Feb 25, 2025
Merged

Allow Nemo 0.49#95
ederc merged 2 commits intoalgebraic-solving:mainfrom
lgoettgens:patch-1

Conversation

@lgoettgens
Copy link
Contributor

The only "breaking" change is the printing of algebraic_closure(QQ), which should have no effect here.
@ederc could you please prepare a release with this so we can proceed in Oscar?

@codecov-commenter
Copy link

codecov-commenter commented Feb 25, 2025

⚠️ Please install the 'codecov app svg image' to ensure uploads and comments are reliably processed by Codecov.

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 85.29%. Comparing base (6719e08) to head (d8e6dbe).
Report is 378 commits behind head on main.

❗ Your organization needs to install the Codecov GitHub app to enable full functionality.

❗ There is a different number of reports uploaded between BASE (6719e08) and HEAD (d8e6dbe). Click for more details.

HEAD has 2 uploads less than BASE
Flag BASE (6719e08) HEAD (d8e6dbe)
6 4
Additional details and impacted files
@@            Coverage Diff             @@
##             main      #95      +/-   ##
==========================================
- Coverage   95.08%   85.29%   -9.80%     
==========================================
  Files          15       24       +9     
  Lines        1262     2475    +1213     
==========================================
+ Hits         1200     2111     +911     
- Misses         62      364     +302     

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

@thofma
Copy link
Contributor

thofma commented Feb 25, 2025

can you bump the version to 0.8.3 right here?

@ederc ederc merged commit b4a7745 into algebraic-solving:main Feb 25, 2025
8 checks passed
@lgoettgens lgoettgens deleted the patch-1 branch February 25, 2025 16:16
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

5 participants