Select an engine by feature (#18 §D1) - #44
Merged
YellowSnnowmann merged 4 commits intoAug 18, 2026
Merged
TinySweeper / tinysweeper/review
succeeded
Aug 18, 2026 in 27s
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