From 01724bfa73bdf46e669823cb699224a453e68640 Mon Sep 17 00:00:00 2001
From: F-WRunTime <freeman.wenzl@runtimeverification.com>
Date: Mon, 9 Dec 2024 12:55:41 -0700
Subject: [PATCH] modified:   .github/workflows/release.yml modified:  
 .github/workflows/test.yml - Specify also the 'runner' field is pointing not
 just MacM1 but also   the runner os version as well.

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

diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml
index b990efa23..e944284d1 100644
--- a/.github/workflows/release.yml
+++ b/.github/workflows/release.yml
@@ -86,8 +86,8 @@ jobs:
         include:
           - runner: [self-hosted, linux, normal]
             os: ubuntu-24.04
-          - runner: MacM1
-            os: self-macos-14
+          - runner: [MacM1, self-macos-14]
+            os: macos-14
 
     runs-on: ${{ matrix.runner }}
     steps:
diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml
index 24f12084b..f3884b109 100644
--- a/.github/workflows/test.yml
+++ b/.github/workflows/test.yml
@@ -17,8 +17,8 @@ jobs:
         include:
           - runner: [self-hosted, linux, normal]
             os: ubuntu-24.04
-          - runner: MacM1
-            os: self-macos-14
+          - runner: [MacM1, self-macos-14]
+            os: macos-14
     runs-on: ${{ matrix.runner }}
     steps:
       - name: 'Check out code'