Skip to content

Pull requests: oscar-system/Singular.jl

Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Assignee
Filter by who’s assigned
Assigned to nobody Loading
Sort

Pull requests list

Bump actions/checkout from 6 to 7 dependencies Pull requests that update a dependency file github_actions Pull requests that update GitHub Actions code
#961 opened Jul 1, 2026 by dependabot Bot Loading…
Bump codecov/codecov-action from 6 to 7 dependencies Pull requests that update a dependency file github_actions Pull requests that update GitHub Actions code
#960 opened Jul 1, 2026 by dependabot Bot Loading…
Reapply "Add global type assertion for QQ and ZZ (#918)"
#952 opened May 15, 2026 by fingolfin Member Loading…
improver numerator for n_Q
#886 opened Oct 10, 2025 by hannes14 Member Draft
docs/Project.toml: set sources path for Singular
#884 opened Sep 26, 2025 by fingolfin Member Loading…
ProTip! Exclude everything labeled bug with -label:bug.