Type check

Replace placeholder video with tools interoperability one #841

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
type-check (3.9)	1m 41s
type-check (3.10)	4m 27s
type-check (3.11)	4m 16s
type-check (3.12)	4m 46s
type-check (3.13)	3m 44s
	18m 54s