CI

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

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
lint	1m 6s
test on 3.8 (ubuntu-20.04, cpython)	4m 56s
test on 3.8 (ubuntu-20.04, gevent)	5m 1s
test on 3.9 (ubuntu-20.04, cpython)	5m 35s
test on 3.9 (ubuntu-20.04, gevent)	5m 3s
test on 3.10 (ubuntu-20.04, cpython)	4m 57s
test on 3.10 (ubuntu-20.04, gevent)	4m 58s
test on 3.11 (ubuntu-20.04, cpython)	4m 57s
test on 3.11 (ubuntu-20.04, gevent)	4m 57s
test on 3.12 (ubuntu-20.04, cpython)	5m 13s
test on 3.12 (ubuntu-20.04, gevent)	5m 20s
	52m 3s