Delete the conversion layer now that both sides name one type (#18 §A1) - #30
Closed
YellowSnnowmann wants to merge 12 commits into
Closed
TinySweeper / tinysweeper/review
succeeded
Aug 18, 2026 in 1m 16s
Reviewed — nothing to report
The review ran to completion and reported 0 finding(s).
This check passing does not mean the code passed. It reports that tinysweeper ran, nothing more — each lane publishes its own check with its own verdict, and those are what gate the merge.
Loading