From 9762a33d40c1cf9543c305aee847c3b8a56e183e Mon Sep 17 00:00:00 2001
From: Sebastian Rittau <srittau@rittau.biz>
Date: Mon, 15 Jan 2024 12:41:06 +0100
Subject: [PATCH] Disable regression tests temporarily

They fail intermittently, see #11220 for details.
---
 .github/workflows/tests.yml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.github/workflows/tests.yml b/.github/workflows/tests.yml
index 2695b3a3f2c3..5976edbb0ea6 100644
--- a/.github/workflows/tests.yml
+++ b/.github/workflows/tests.yml
@@ -109,6 +109,7 @@ jobs:
   regression-tests:
     name: Run mypy on the test cases
     runs-on: ubuntu-latest
+    if: false  # Temporarily disabled, see #11220
     steps:
       - uses: actions/checkout@v4
       - uses: actions/setup-python@v4