Steep invokes worker processes to type check files as many as the processors. But, computers running CI jobs typically have large number of processors, while the resources each CI job can use is li...