From: sobolevn <mail@sobolevn.me>
Date: Tue, 12 Aug 2025 22:01:50 +0000 (+0300)
Subject: gh-133403: Run `mypy` on `Tools/build/mypy.ini` changes (#137692)
X-Git-Tag: v3.15.0a1~708
X-Git-Url: http://git.ipfire.org/gitweb.cgi?a=commitdiff_plain;h=e93dca72232efe6d5cf2d52ea6dd3967ff61360b;p=thirdparty%2FPython%2Fcpython.git

gh-133403: Run `mypy` on `Tools/build/mypy.ini` changes (#137692)
---

diff --git a/.github/workflows/mypy.yml b/.github/workflows/mypy.yml
index dc6367150329..0413d5f905d7 100644
--- a/.github/workflows/mypy.yml
+++ b/.github/workflows/mypy.yml
@@ -13,6 +13,7 @@ on:
       - "Lib/test/libregrtest/**"
       - "Lib/tomllib/**"
       - "Misc/mypy/**"
+      - "Tools/build/mypy.ini"
       - "Tools/build/check_extension_modules.py"
       - "Tools/build/compute-changes.py"
       - "Tools/build/deepfreeze.py"