Run mypy_primer

Another two micro-optimizations #9179

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Run mypy_primer (2)	12m 3s
Run mypy_primer (1)	12m 36s
Run mypy_primer (0)	15m 34s
Run mypy_primer (4)	14m 40s
Run mypy_primer (5)	11m 56s
Run mypy_primer (3)	14m 36s
Join artifacts	3s
	1h 21m 28s