diff options
author | Nikita Sobolev <mail@sobolevn.me> | 2023-08-28 20:04:12 (GMT) |
---|---|---|
committer | GitHub <noreply@github.com> | 2023-08-28 20:04:12 (GMT) |
commit | cf7ba83eb274df8389cb9ebdf8601132c47de48a (patch) | |
tree | b67c1bc625d4645d00bd88e6c31ea91fe41680fa /.github/workflows/mypy.yml | |
parent | f75cefd402c4c830228d85ca3442377ebaf09454 (diff) | |
download | cpython-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.yml | 7 |
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 |