Skip to content

Retirement surfaces are owned by the base builder: no release-time refit - #557

Merged
MaxGhenis merged 7 commits into
mainfrom
retirement-refit-ownership
Jul 27, 2026
Merged

Retirement surfaces are owned by the base builder: no release-time refit#557
MaxGhenis merged 7 commits into
mainfrom
retirement-refit-ownership

Round 4: the degraded run actually reaches the solve; no duplicates; …

3acef81
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar