MyPy - use proper types, and get rid of pyi-files #146

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
mypy (3.7)	19s
Python 3.7	29s
mypy (3.8)	21s
Python pypy3.7	1m 13s
mypy (3.9)	18s
mypy (3.10)	17s
mypy (3.11)	18s
Python 3.8	24s
mypy (3.12)	19s
Python pypy3.8	1m 10s
Python 3.9	27s
Python pypy3.9	1m 21s
Python 3.10	23s
Python 3.11	35s
Python 3.12	1m 2s
	8m 56s