summaryrefslogtreecommitdiffstats
path: root/.github/workflows/mypy.yml
diff options
context:
space:
mode:
authorNikita Sobolev <mail@sobolevn.me>2023-08-28 20:04:12 (GMT)
committerGitHub <noreply@github.com>2023-08-28 20:04:12 (GMT)
commitcf7ba83eb274df8389cb9ebdf8601132c47de48a (patch)
treeb67c1bc625d4645d00bd88e6c31ea91fe41680fa /.github/workflows/mypy.yml
parentf75cefd402c4c830228d85ca3442377ebaf09454 (diff)
downloadcpython-cf7ba83eb274df8389cb9ebdf8601132c47de48a.zip
cpython-cf7ba83eb274df8389cb9ebdf8601132c47de48a.tar.gz
cpython-cf7ba83eb274df8389cb9ebdf8601132c47de48a.tar.bz2
gh-108455: Run `mypy` on `Tools/peg_generator` (#108456)
Co-authored-by: Hugo van Kemenade <hugovk@users.noreply.github.com>
Diffstat (limited to '.github/workflows/mypy.yml')
-rw-r--r--.github/workflows/mypy.yml7
1 files changed, 6 insertions, 1 deletions
diff --git a/.github/workflows/mypy.yml b/.github/workflows/mypy.yml
index 75264c8..82714c2 100644
--- a/.github/workflows/mypy.yml
+++ b/.github/workflows/mypy.yml
@@ -9,6 +9,7 @@ on:
paths:
- "Tools/clinic/**"
- "Tools/cases_generator/**"
+ - "Tools/peg_generator/**"
- "Tools/requirements-dev.txt"
- ".github/workflows/mypy.yml"
workflow_dispatch:
@@ -29,7 +30,11 @@ jobs:
mypy:
strategy:
matrix:
- target: ["Tools/cases_generator", "Tools/clinic"]
+ target: [
+ "Tools/cases_generator",
+ "Tools/clinic",
+ "Tools/peg_generator",
+ ]
name: Run mypy on ${{ matrix.target }}
runs-on: ubuntu-latest
timeout-minutes: 10