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.
runtimeverification · Dec 9, 2024 · 01724bf · 01724bf
1 parent e66aafa
commit 01724bf
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 4 deletions.
diff --git 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
@@ -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'