CI Build

health: move to mypy #1255

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build (3.13)	4m 59s
build (3.12)	4m 40s
build (3.11)	4m 23s
build (3.10)	4m 28s
build (3.9)	4m 27s
build (3.8)	4m 29s
build (3.7)	13s
build (3.6)	23s
build (pypy3.10)	6m 20s
	34m 22s