mypy

5f5d90ee - upload-pypi: allow dry running the script with a dev version (#9886)