mypy

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