From bc06e332a823f83f654e2390b59cbc7dc80ca699 Mon Sep 17 00:00:00 2001 From: AlexWaygood Date: Mon, 13 Nov 2023 13:32:38 +0000 Subject: [PATCH 1/2] [3.12] Bump mypy to 1.7.0 (GH-111961) --- Tools/requirements-dev.txt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Tools/requirements-dev.txt b/Tools/requirements-dev.txt index 79ef43a4024c98..b8ecea0e01e49b 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 From 3c02efc7ce23a5054874112dbe3622bd9cb2956b Mon Sep 17 00:00:00 2001 From: Alex Waygood Date: Mon, 13 Nov 2023 13:37:27 +0000 Subject: [PATCH 2/2] make the workflow trigger when the pin is updated --- .github/workflows/mypy.yml | 1 + 1 file changed, 1 insertion(+) diff --git a/.github/workflows/mypy.yml b/.github/workflows/mypy.yml index 67a4af239e18fc..f6dc01986a13d6 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: