From 0ffe46f3ccf264001702e34c0376dc6f6c06e102 Mon Sep 17 00:00:00 2001 From: Kirill Podoprigora Date: Wed, 16 Oct 2024 18:24:16 +0300 Subject: [PATCH] Bump Python to 3.13 and mypy to 1.12 --- .github/workflows/mypy.yml | 2 +- Tools/requirements-dev.txt | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/.github/workflows/mypy.yml b/.github/workflows/mypy.yml index 23591f2c0b34ce..f54162675b08f4 100644 --- a/.github/workflows/mypy.yml +++ b/.github/workflows/mypy.yml @@ -33,7 +33,7 @@ jobs: - uses: actions/checkout@v4 - uses: actions/setup-python@v5 with: - python-version: "3.x" + python-version: "3.13" cache: pip cache-dependency-path: Tools/requirements-dev.txt - run: pip install -r Tools/requirements-dev.txt diff --git a/Tools/requirements-dev.txt b/Tools/requirements-dev.txt index fc1f1a4fdd2cf2..4b065e6a2cac43 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.7.1 +mypy==1.12