diff options
| author | Nikita Sobolev <mail@sobolevn.me> | 2023-09-19 05:49:26 (GMT) |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-09-19 05:49:26 (GMT) |
| commit | f65497fd252a4a4df960da04d68e8316b58624c0 (patch) | |
| tree | 4d35d3fbbeece10cfe97d46f0f8005cfe9480e32 /.github/workflows/mypy.yml | |
| parent | ed582a2ed980efba2d0da365ae37bff4a2b99873 (diff) | |
| download | cpython-f65497fd252a4a4df960da04d68e8316b58624c0.zip cpython-f65497fd252a4a4df960da04d68e8316b58624c0.tar.gz cpython-f65497fd252a4a4df960da04d68e8316b58624c0.tar.bz2 | |
gh-109125: Run mypy on `Tools/wasm` (#109126)
Diffstat (limited to '.github/workflows/mypy.yml')
| -rw-r--r-- | .github/workflows/mypy.yml | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/.github/workflows/mypy.yml b/.github/workflows/mypy.yml index fef7b02..405511c 100644 --- a/.github/workflows/mypy.yml +++ b/.github/workflows/mypy.yml @@ -7,11 +7,12 @@ on: - main pull_request: paths: - - "Tools/clinic/**" + - ".github/workflows/mypy.yml" - "Tools/cases_generator/**" + - "Tools/clinic/**" - "Tools/peg_generator/**" - "Tools/requirements-dev.txt" - - ".github/workflows/mypy.yml" + - "Tools/wasm/**" workflow_dispatch: permissions: @@ -34,6 +35,7 @@ jobs: "Tools/cases_generator", "Tools/clinic", "Tools/peg_generator", + "Tools/wasm", ] name: Run mypy on ${{ matrix.target }} runs-on: ubuntu-latest |