Run all tests and type checks

ci: modify workflow to also run mypy type checker #1

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
run-type-checker	25s
run-all-tests (3.12)	14s
run-all-tests (3.13)	21s
	1m 0s