Update `run_mypy.py`#1733

ricardoV94 merged 3 commits intopymc-devs:mainpymc-devs/pytensor:mainfrom

jessegrabowski:update-run-mypyjessegrabowski/pytensor:update-run-mypyCopy head branch name to clipboard