From d2c8d65b12c2512bd35204305d59c5eb486d8a96 Mon Sep 17 00:00:00 2001
From: Erik Martin-Dorel <erik.martin-dorel@irit.fr>
Date: Fri, 26 Jul 2024 14:53:36 +0200
Subject: [PATCH] fix(CI): Use macos-13 for static-builds (#603)

as macos-14 only provide arm builds now.

Related: https://github.com/actions/runner-images/issues/9741
---
 .github/workflows/static-builds.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/static-builds.yml b/.github/workflows/static-builds.yml
index d580046d..a5200840 100644
--- a/.github/workflows/static-builds.yml
+++ b/.github/workflows/static-builds.yml
@@ -72,7 +72,7 @@ jobs:
   static-bin-macos:
     name: Builds static Macos binaries
     if: ${{ github.event_name != 'schedule' || github.repository == 'ocaml-sf/learn-ocaml' }}
-    runs-on: macos-latest
+    runs-on: macos-13
     env:
       OPAMYES: 1
       OPAMDEPEXTYES: 1