From ba5016628255a144333f136ecb5bb17a59071880 Mon Sep 17 00:00:00 2001
From: Daniel Flook <daniel@flook.org>
Date: Mon, 14 Oct 2024 18:58:18 +0100
Subject: [PATCH] mypy 1.12.0 doesn't work

---
 .github/workflows/release_test.yaml | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/release_test.yaml b/.github/workflows/release_test.yaml
index 1e2c3948..94d7534b 100644
--- a/.github/workflows/release_test.yaml
+++ b/.github/workflows/release_test.yaml
@@ -155,6 +155,7 @@ jobs:
             pyminify setup.py src test --in-place
 
   test_typing:
+    name: Test Typing
     runs-on: ubuntu-latest
     needs: [package_python3]
     strategy:
@@ -187,7 +188,7 @@ jobs:
 
       - name: Test typing
         run: |
-          pip3.13 install mypy types-setuptools
+          pip3.13 install mypy!=1.12.0 types-setuptools
           mypy --strict typing_test/test_typing.py
 
           if mypy --strict typing_test/test_badtyping.py; then