Run mypy_primer on PR

Fixed a bug that results in a spurious error when specializing an old… #1506

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Run mypy_primer on PR (0)	7m 52s
Run mypy_primer on PR (1)	4m 57s
Run mypy_primer on PR (2)	7m 15s
Run mypy_primer on PR (3)	4m 33s
Run mypy_primer on PR (4)	6m 8s
Run mypy_primer on PR (5)	6m 26s
Run mypy_primer on PR (6)	7m 35s
Run mypy_primer on PR (7)	4m 30s
	49m 16s