From 4c5b5549eadad90c0547351b230835e8616f4212 Mon Sep 17 00:00:00 2001
From: Bruce Collie <brucecollie82@gmail.com>
Date: Fri, 27 Oct 2023 10:24:20 +0100
Subject: [PATCH] Run macOS CI on our runners

---
 .github/workflows/release.yml | 13 +++----------
 1 file changed, 3 insertions(+), 10 deletions(-)

diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml
index 4eb1ef7b71c..a1971c17924 100644
--- a/.github/workflows/release.yml
+++ b/.github/workflows/release.yml
@@ -175,7 +175,7 @@ jobs:
 
   macos-build:
     name: 'Build MacOS Package'
-    runs-on: macos-13
+    runs-on: self-macos-13
     timeout-minutes: 120
     environment: production
     needs: [set-release-id, source-tarball]
@@ -257,7 +257,7 @@ jobs:
 
   macos-test:
     name: 'Test MacOS Package'
-    runs-on: macos-13
+    runs-on: self-macos-13
     timeout-minutes: 60
     environment: production
     needs: [macos-build, set-release-id]
@@ -306,14 +306,7 @@ jobs:
           spawn-kserver $WD/kserver.log
           cd pl-tutorial
           echo 'Testing tutorial in user environment...'
-          # The macOS public runners are prone to flakiness when running this
-          # test suite with high parallelism:
-          #   - https://github.com/runtimeverification/k/issues/3705
-          # We know that there are 4 CPUs on macos-13 runners, so rather than
-          # using them all, we use only 2 to reduce load on the machine. Old
-          # command:
-          #   make -j`sysctl -n hw.ncpu` ${MAKE_EXTRA_ARGS}
-          make -j2 ${MAKE_EXTRA_ARGS}
+          make -j`sysctl -n hw.ncpu` ${MAKE_EXTRA_ARGS}
           cd ~
           echo 'module TEST imports BOOL endmodule' > test.k
           kompile test.k --backend llvm