Run mypy_primer

Experiment: what happens if we just remove the second overload of `dict.pop`? #21508

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Run (1)	7m 9s
Run (0)	7m 4s
Run (3)	6m 42s
Run (2)	5m 55s
Join artifacts	6s
	26m 56s