gh-133403: Run mypy
on Tools/build/mypy.ini
changes#137692
Merged
sobolevn merged 1 commit intopython:mainfrom Aug 12, 2025
Merged
gh-133403: Run `mypy` on `Tools/build/mypy.ini` changes#137692sobolevn merged 1 commit intopython:mainfrom
sobolevn merged 1 commit intopython:mainfrom