TypeCheck

Migrate from mypy to ty as a type checker #1183

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
type-check (3.13)	14s
type-check (3.14)	20s
type-check (3.12)	16s
type-check (3.11)	18s
	1m 8s