Add --num-workers auto option#21789

schnellerhase wants to merge 2 commits into

python:masterpython/mypy:masterfrom

schnellerhase:num_workers_autoschnellerhase/mypy:num_workers_autoCopy head branch name to clipboard