Run mypy when Tools/requirements-dev.txt changes#108457
Merged
AlexWaygood merged 1 commit intopython:mainfrom Aug 24, 2023
Merged
Run mypy when Tools/requirements-dev.txt changes#108457AlexWaygood merged 1 commit intopython:mainfrom
mypy when Tools/requirements-dev.txt changes#108457AlexWaygood merged 1 commit intopython:mainfrom