Skip to content

Sharpen leading-section bounds for all completed downsets - #4788

Merged
Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
JoyboyBrian:brian/leading-section-downset-audit
Oct 23, 2026
Merged

Sharpen leading-section bounds for all completed downsets#4788
Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
JoyboyBrian:brian/leading-section-downset-audit

Sharpen leading-section bounds for every completed downset

ddd98e2
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
plan
succeeded Oct 22, 2026 in 3m 15s