Skip to content

Replace hand-written ty machinery with the official ty-pre-commit hook#133

Merged
hmgaudecker merged 5 commits into
mainfrom
official-ty-pre-commit-hook
Jun 15, 2026
Merged

Replace hand-written ty machinery with the official ty-pre-commit hook#133
hmgaudecker merged 5 commits into
mainfrom
official-ty-pre-commit-hook