Lint

Bump mypy from 1.20.0 to 1.20.1 #1403

Job	Run time
build (3.13, ubuntu-latest, manual)	34s
build (3.13, ubuntu-latest, pre-push)	1m 12s
build (3.13, windows-latest, pre-commit)	2m 1s
build (3.13, windows-latest, manual)	1m 14s
build (3.13, windows-latest, pre-push)	2m 7s
build (3.13, ubuntu-latest, pre-commit)	38s
completion-lint	3s
	7m 49s

Provide feedback