diff options
Diffstat (limited to 'Tools/build/mypy.ini')
| -rw-r--r-- | Tools/build/mypy.ini | 9 |
1 files changed, 8 insertions, 1 deletions
diff --git a/Tools/build/mypy.ini b/Tools/build/mypy.ini index db546c6fb34..123dc895f90 100644 --- a/Tools/build/mypy.ini +++ b/Tools/build/mypy.ini @@ -1,8 +1,15 @@ [mypy] + +# Please, when adding new files here, also add them to: +# .github/workflows/mypy.yml files = Tools/build/compute-changes.py, + Tools/build/deepfreeze.py, + Tools/build/generate-build-details.py, Tools/build/generate_sbom.py, - Tools/build/update_file.py + Tools/build/verify_ensurepip_wheels.py, + Tools/build/update_file.py, + Tools/build/umarshal.py pretty = True |