From ef01a73e8f3a54364eafd8ada53b91147db0f17b Mon Sep 17 00:00:00 2001
From: "Markus F.X.J. Oberhumer" <markus@oberhumer.com>
Date: Thu, 26 Jun 2025 11:54:26 +0200
Subject: [PATCH] CI updates

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

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 64600a82..2d130496 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -220,7 +220,8 @@ jobs:
           # NOTE: macos does not have "env -C"; only with brew coreutils
           - { os: macos-13, gcc: gcc-12, gxx: g++-12, testsuite: true }
           - { os: macos-14, gcc: gcc-13, gxx: g++-13, testsuite: true }
-          - { os: macos-15, gcc: gcc-13, gxx: g++-13, testsuite: true }
+          # { os: macos-15, gcc: gcc-13, gxx: g++-13, testsuite: true }
+          - { os: macos-15, testsuite: true }
     name: ${{ format('{0} {1}{2}', matrix.os, matrix.xcode_version && 'xcode-' || '',  matrix.xcode_version) }}
     runs-on: ${{ matrix.os }}
     steps: