CI

more aggressive pulling instead of caching #6194

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
mypy (3.8)	1m 21s
mypy (3.9)	1m 23s
mypy (3.10)	1m 21s
mypy (3.11)	1m 15s
mypy (3.12)	1m 18s
mypy (3.13)	1m 32s
mypy (3)	1m 21s
	9m 31s