From 9e6c854aa8bcfe7912a9637127e53b0af8a935a8 Mon Sep 17 00:00:00 2001
From: Thomas Bouffard <27200110+tbouffard@users.noreply.github.com>
Date: Fri, 1 Dec 2023 09:51:11 +0100
Subject: [PATCH] ci: use macos-13 in GitHub workflows (#269)

Build with a more recent version to better suit developers' machines,
which usually use a recent operating system.
---
 .github/workflows/build.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
index c1979da0b..4343a6673 100644
--- a/.github/workflows/build.yml
+++ b/.github/workflows/build.yml
@@ -34,7 +34,7 @@ jobs:
       # we want to run the full build on all os: don't cancel running jobs even if one fails
       fail-fast: false
       matrix:
-        os: ['ubuntu-22.04', 'macos-12', 'windows-2022']
+        os: ['ubuntu-22.04', 'macos-13', 'windows-2022']
     steps:
       - uses: actions/checkout@v4
       - name: Setup node