Skip to content

MAIN-H3: heal's SupersededByHealedHead exit rests on a premise refuted at n=4 — does the design still hold, and annotate the retired rung_drop row - #10212

Closed
gunbai-bot[bot] wants to merge 7 commits into
mainfrom
session/cool-koi-623
Closed

MAIN-H3: heal's SupersededByHealedHead exit rests on a premise refuted at n=4 — does the design still hold, and annotate the retired rung_drop row#10212
gunbai-bot[bot] wants to merge 7 commits into
mainfrom
session/cool-koi-623

Merge remote-tracking branch 'origin/main' into session/cool-koi-623

c217dfc
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar