Skip to content

speed up linting - #5121

Merged
bakkot merged 2 commits into
mainfrom
faster-lint
Sep 2, 2026
Merged

speed up linting#5121
bakkot merged 2 commits into
mainfrom
faster-lint