CI

Migrate from pyright to ty #72

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Check coding standards	14s
Run tests (Ubuntu, 3.13)	3m 52s
Run tests (Ubuntu, 3.10)	3m 47s
Run tests (Ubuntu, 3.12)	3m 39s
Run tests (Ubuntu, 3.11)	3m 29s
	15m 1s