Skip to content

Fix fitting_ideal to always return an ideal, even if it is the ideal generate by 1 (where sometimes the ring was returned instead) #6881

Fix fitting_ideal to always return an ideal, even if it is the ideal generate by 1 (where sometimes the ring was returned instead)

Fix fitting_ideal to always return an ideal, even if it is the ideal generate by 1 (where sometimes the ring was returned instead) #6881

Triggered via pull request April 8, 2026 08:56
Status Success
Total duration 23s
Artifacts

EnforceLabels.yml

on: pull_request
Check for blocking labels
19s
Check for blocking labels
Fit to window
Zoom out
Zoom in