CI

add mypy to [dev] deps and run it during the lint phase #755

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
lint	26s
test on 3.8 (ubuntu-20.04, cpython)	3m 25s
test on 3.8 (ubuntu-20.04, gevent)	3m 27s
test on 3.9 (ubuntu-20.04, cpython)	3m 27s
test on 3.9 (ubuntu-20.04, gevent)	3m 26s
test on 3.10 (ubuntu-20.04, cpython)	3m 27s
test on 3.10 (ubuntu-20.04, gevent)	3m 27s
test on 3.11 (ubuntu-20.04, cpython)	3m 25s
test on 3.11 (ubuntu-20.04, gevent)	3m 27s
test on 3.12 (ubuntu-20.04, cpython)	3m 25s
test on 3.12 (ubuntu-20.04, gevent)	3m 26s
	34m 48s