From e66aafa7d5ecb1eee8e795092667d126e395d608 Mon Sep 17 00:00:00 2001
From: F-WRunTime <freeman.wenzl@runtimeverification.com>
Date: Mon, 9 Dec 2024 12:51:29 -0700
Subject: [PATCH] modified:   .github/workflows/release.yml modified:  
 .github/workflows/test.yml - Point runners to use Mac OS14 runner from 12

---
 .github/workflows/release.yml | 2 +-
 .github/workflows/test.yml    | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml
index 9aa84de92..b990efa23 100644
--- a/.github/workflows/release.yml
+++ b/.github/workflows/release.yml
@@ -87,7 +87,7 @@ jobs:
           - runner: [self-hosted, linux, normal]
             os: ubuntu-24.04
           - runner: MacM1
-            os: self-macos-12
+            os: self-macos-14
 
     runs-on: ${{ matrix.runner }}
     steps:
diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml
index dc5104876..24f12084b 100644
--- a/.github/workflows/test.yml
+++ b/.github/workflows/test.yml
@@ -18,7 +18,7 @@ jobs:
           - runner: [self-hosted, linux, normal]
             os: ubuntu-24.04
           - runner: MacM1
-            os: self-macos-12
+            os: self-macos-14
     runs-on: ${{ matrix.runner }}
     steps:
       - name: 'Check out code'