Repository navigation
Report an unlisted registry server as unknown, and skip too-short searches - #176
Merged
Merged
TinySweeper / tinysweeper/review
succeeded
Nov 11, 2026 in 5m 48s
Reviewed 3 of 3 files — 0 not reviewed
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