diff options
| -rw-r--r-- | .github/workflows/mypy.yml | 1 | ||||
| -rw-r--r-- | Tools/requirements-dev.txt | 2 |
2 files changed, 2 insertions, 1 deletions
diff --git a/.github/workflows/mypy.yml b/.github/workflows/mypy.yml index 67a4af2..f6dc019 100644 --- a/.github/workflows/mypy.yml +++ b/.github/workflows/mypy.yml @@ -8,6 +8,7 @@ on: pull_request: paths: - "Tools/clinic/**" + - "Tools/requirements-dev.txt" - ".github/workflows/mypy.yml" workflow_dispatch: diff --git a/Tools/requirements-dev.txt b/Tools/requirements-dev.txt index 79ef43a..b8ecea0 100644 --- a/Tools/requirements-dev.txt +++ b/Tools/requirements-dev.txt @@ -1,2 +1,2 @@ # Requirements file for external linters and checks we run on Tools/clinic/ in CI -mypy==1.6.1 +mypy==1.7.0 |