Skip to content

MIG-5: nothing left behind — the mechanical check and the reduced contract - #231

Merged
snkmcb merged 2 commits into
mainfrom
mig-5/nothing-left-behind
Sep 24, 2026
Merged

MIG-5: nothing left behind — the mechanical check and the reduced contract#231
snkmcb merged 2 commits into
mainfrom
mig-5/nothing-left-behind

Describe the reduced tree and record the moves (MIG-5)

ff64b08
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
read the pins from the CI contract
succeeded Sep 24, 2026 in 7s