chore(type-check): switch static type checking from ty to pyrefly - #18

Merged

dlstadther merged 4 commits into

mainfrom

dlstadther/type-check

Sep 11, 2026

Commits on Sep 11, 2026

chore(type-check): switch static type checking from ty to pyrefly

dlstadther
and
claude
committed
01a0eac
refactor(type-check): drop stale type: ignore now unneeded by pyrefly

dlstadther
and
claude
committed
8cb2740
fix(type-check): use the official pyrefly pre-commit hook

dlstadther
and
claude
committed
c556622
fix(type-check): pin pyrefly-pre-commit to a stable release

dlstadther
and
claude
committed
aa7bde6