From 8369299e331b5da97d2b977158a9ced49e61a507 Mon Sep 17 00:00:00 2001
From: "Alejandro R. Mosteo" <amosteo@unizar.es>
Date: Thu, 23 May 2024 17:55:40 +0200
Subject: [PATCH] Use macOS 12 to avoid linking problems

---
 .github/workflows/ci-macos.yml     | 2 +-
 .github/workflows/ci-toolchain.yml | 2 +-
 .github/workflows/nightly.yml      | 2 +-
 3 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/.github/workflows/ci-macos.yml b/.github/workflows/ci-macos.yml
index 33b7c78aa..15025e11b 100644
--- a/.github/workflows/ci-macos.yml
+++ b/.github/workflows/ci-macos.yml
@@ -16,7 +16,7 @@ jobs:
   build:
     name: CI on macOS
 
-    runs-on: macos-latest
+    runs-on: macos-12
 
     steps:
     - name: Check out repository
diff --git a/.github/workflows/ci-toolchain.yml b/.github/workflows/ci-toolchain.yml
index 7db742c4e..0d9852acd 100644
--- a/.github/workflows/ci-toolchain.yml
+++ b/.github/workflows/ci-toolchain.yml
@@ -22,7 +22,7 @@ jobs:
       fail-fast: false
       matrix:
         os:
-          - macos-latest
+          - macos-12
           - ubuntu-latest
           - windows-latest
         gcc_version:
diff --git a/.github/workflows/nightly.yml b/.github/workflows/nightly.yml
index d28257491..6ac6231c1 100644
--- a/.github/workflows/nightly.yml
+++ b/.github/workflows/nightly.yml
@@ -21,7 +21,7 @@ jobs:
       fail-fast: false # Attempt to generate as many of them as possible
       matrix:
         os:
-          - macos-latest
+          - macos-12
           - ubuntu-20.04
           - windows-latest