From c8a11e0283eb58a9bbfe1dc2fe7206ca5a41fec5 Mon Sep 17 00:00:00 2001
From: Patrick Brosi <brosi@informatik.uni-freiburg.de>
Date: Wed, 4 Dec 2024 17:43:40 +0100
Subject: [PATCH] drop macos 13 from build workflow

---
 .github/workflows/build.yml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
index 5b26f87..1e8f787 100644
--- a/.github/workflows/build.yml
+++ b/.github/workflows/build.yml
@@ -93,8 +93,8 @@ jobs:
         run: cd build && make
       - name: tests
         run: cd build && ctest --output-on-failure
-  macos-12-build:
-    runs-on: macOS-12
+  macos-13-build:
+    runs-on: macOS-13
     steps:
       - name: Checkout repository code
         uses: actions/checkout@v2