From de913cc2512cc1dd18fa56452ccb76a86a664958 Mon Sep 17 00:00:00 2001
From: Thomas Waldmann <tw@waldmann-edv.de>
Date: Sun, 7 Jul 2024 14:42:02 +0200
Subject: [PATCH] github CI: windows msys2 build: broken, disable it for now,
 see #8264

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

diff --git a/.github/workflows/windows.yml b/.github/workflows/windows.yml
index ce7f6f2ced..a98b6c3e07 100644
--- a/.github/workflows/windows.yml
+++ b/.github/workflows/windows.yml
@@ -3,7 +3,8 @@ on: [push, pull_request]
 
 jobs:
   msys2-ucrt64:
-    runs-on: windows-latest
+      if: false  # build is broken, thus disabled, see #8264
+      runs-on: windows-latest
     defaults:
       run:
         shell: msys2 {0}