diff options
| author | Alex Waygood <Alex.Waygood@Gmail.com> | 2023-11-13 13:59:56 (GMT) |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-11-13 13:59:56 (GMT) |
| commit | 7313bde84c82e37aa1110d44b796ec3025b0f611 (patch) | |
| tree | 463218563e378e8859c5f64457388403ef61da52 | |
| parent | a1447af69c3063bb154d343628a19134901549ff (diff) | |
| download | cpython-7313bde84c82e37aa1110d44b796ec3025b0f611.zip cpython-7313bde84c82e37aa1110d44b796ec3025b0f611.tar.gz cpython-7313bde84c82e37aa1110d44b796ec3025b0f611.tar.bz2 | |
[3.12] Bump mypy to 1.7.0 (GH-111961) (#112033)
| -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 |