Lint

Enable mypy parallel workers in pre-commit. #1479

Job	Run time
build (3.13, windows-latest, manual)	1m 15s
build (3.13, windows-latest, pre-commit)	1m 38s
build (3.13, ubuntu-latest, manual)	1m 5s
build (3.13, ubuntu-latest, pre-commit)	33s
build (3.13, ubuntu-latest, pre-push)	51s
build (3.13, windows-latest, pre-push)	1m 25s
completion-lint	3s
	6m 50s

Provide feedback