Skip to content

Whole-repo review: delete duplicated rules and dispatches - #66

Merged
EvanWinget merged 5 commits into
mainfrom
repo-review-simplify
Sep 5, 2026
Merged

Whole-repo review: delete duplicated rules and dispatches#66
EvanWinget merged 5 commits into
mainfrom
repo-review-simplify

plan: measure before the pool, review the validator now

da28125
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Lint
succeeded Sep 5, 2026 in 10s