From 329348abbdc159dd4a3aef1a9cc2e8865d61a87b Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Mos=C3=A8=20Giordano?= <mose@gnu.org>
Date: Mon, 10 Mar 2025 23:31:56 +0000
Subject: [PATCH] [CI] Disable `macOS-13` entirely, not just `core` and
 `integration`

---
 .github/workflows/CI.yml | 11 +++--------
 1 file changed, 3 insertions(+), 8 deletions(-)

diff --git a/.github/workflows/CI.yml b/.github/workflows/CI.yml
index fb9aa536df..1a772a9105 100644
--- a/.github/workflows/CI.yml
+++ b/.github/workflows/CI.yml
@@ -45,7 +45,9 @@ jobs:
           # `ubuntu-22.04-arm` is considered more stable than `ubuntu-24.04-arm`:
           # <https://github.com/orgs/community/discussions/148648#discussioncomment-12099554>.
           - ubuntu-22.04-arm
-          - macOS-13
+          # Disable `macOS-13` until
+          # <https://github.com/EnzymeAD/Reactant.jl/issues/867> is resolved.
+          # - macOS-13
           - macOS-latest
         test_group:
           - core
@@ -56,13 +58,6 @@ jobs:
           - "IFRT"
         assertions:
           - false
-        exclude:
-          # Until <https://github.com/EnzymeAD/Reactant.jl/issues/867>
-          # is resolved.
-          - os: macOS-13
-            test_group: core
-          - os: macOS-13
-            test_group: integration
         include:
           - os: ubuntu-24.04
             version: '1.10'