Skip to content

Update Singular.jl to 0.26#5281

Merged
lgoettgens merged 1 commit intooscar-system:masterfrom
lgoettgens:lg/bump-Singular
Sep 10, 2025
Merged

Update Singular.jl to 0.26#5281
lgoettgens merged 1 commit intooscar-system:masterfrom
lgoettgens:lg/bump-Singular

Conversation

@lgoettgens
Copy link
Copy Markdown
Member

No description provided.

@lgoettgens lgoettgens requested a review from fingolfin September 9, 2025 17:02
@lgoettgens lgoettgens added package: Singular release notes: use title For PRs: the title of this PR is suitable for direct use in the release notes labels Sep 9, 2025
@lgoettgens lgoettgens mentioned this pull request Sep 9, 2025
16 tasks
@lgoettgens lgoettgens closed this Sep 9, 2025
@lgoettgens lgoettgens reopened this Sep 9, 2025
@lgoettgens lgoettgens closed this Sep 9, 2025
@lgoettgens lgoettgens reopened this Sep 9, 2025
@codecov
Copy link
Copy Markdown

codecov Bot commented Sep 9, 2025

Codecov Report

✅ All modified and coverable lines are covered by tests.
✅ Project coverage is 84.95%. Comparing base (9e3515c) to head (ed63dba).
⚠️ Report is 2 commits behind head on master.

Additional details and impacted files
@@           Coverage Diff           @@
##           master    #5281   +/-   ##
=======================================
  Coverage   84.95%   84.95%           
=======================================
  Files         713      713           
  Lines       96303    96303           
=======================================
+ Hits        81811    81812    +1     
+ Misses      14492    14491    -1     

see 1 file with indirect coverage changes

🚀 New features to boost your workflow:
  • ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.

@lgoettgens lgoettgens merged commit 6fe24f6 into oscar-system:master Sep 10, 2025
84 of 121 checks passed
@lgoettgens lgoettgens deleted the lg/bump-Singular branch September 10, 2025 06:25
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

package: Singular release notes: use title For PRs: the title of this PR is suitable for direct use in the release notes

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants