Skip to content

feat(checks): accept ty in PC140 type checker check#804

Merged
henryiii merged 1 commit into
mainfrom
ty-pre-commit
Jun 15, 2026
Merged

feat(checks): accept ty in PC140 type checker check#804
henryiii merged 1 commit into
mainfrom
ty-pre-commit

Commits

Commits on Jun 15, 2026