Skip to content

[Lean] Verify one literal PR442 invocation against the multi-host contract - #540

Closed
cheesegrader wants to merge 11 commits into
CrocSwap:mainfrom
cheesegrader:lean/pr442-invocation-review
Closed

[Lean] Verify one literal PR442 invocation against the multi-host contract#540
cheesegrader wants to merge 11 commits into
CrocSwap:mainfrom
cheesegrader:lean/pr442-invocation-review

Record fresh CI repair verification and preserve GitHub build receipts

acc1917
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
ranked-pair-finite
succeeded Oct 14, 2026 in 26s