From 3aa3e329efa9dbe3bd0104676d2d8f36281de1c7 Mon Sep 17 00:00:00 2001
From: F-WRunTime <freeman.wenzl@runtimeverification.com>
Date: Mon, 10 Mar 2025 14:04:14 -0600
Subject: [PATCH 1/3] modified:   .github/workflows/test-pr.yml - Setup build
 only on mac to test for build failures

---
 .github/workflows/test-pr.yml | 15 +++++++++++++++
 1 file changed, 15 insertions(+)

diff --git a/.github/workflows/test-pr.yml b/.github/workflows/test-pr.yml
index b52b1880e8..6d89014f08 100644
--- a/.github/workflows/test-pr.yml
+++ b/.github/workflows/test-pr.yml
@@ -25,6 +25,21 @@ jobs:
       - name: 'Run pyupgrade'
         run: make -C kevm-pyk pyupgrade
 
+  mac-build-test:
+    name: 'Mac Build Test'
+    runs-on: [self-hosted, MacM1]
+    steps:
+      - name: 'Check out code'
+        uses: actions/checkout@v4
+      - name: 'Setup Python 3.10'
+        uses: actions/setup-python@v5
+        with:
+          python-version: '3.10'
+      - name: 'Install Poetry'
+        uses: Gr1N/setup-poetry@v9
+      - name: 'Run build'
+        run: make -C kevm-pyk build
+
   kevm-pyk-unit-tests:
     needs: kevm-pyk-code-quality-checks
     name: 'Unit Tests'

From 7a5f2fda7be6373f7f1934b04e442a1a12647ea8 Mon Sep 17 00:00:00 2001
From: F-WRunTime <freeman.wenzl@runtimeverification.com>
Date: Mon, 10 Mar 2025 14:05:36 -0600
Subject: [PATCH 2/3] modified:   .github/workflows/test-pr.yml - Lets drop
 instaling pythong we already have it.

---
 .github/workflows/test-pr.yml | 4 ----
 1 file changed, 4 deletions(-)

diff --git a/.github/workflows/test-pr.yml b/.github/workflows/test-pr.yml
index 6d89014f08..80de5a9d3f 100644
--- a/.github/workflows/test-pr.yml
+++ b/.github/workflows/test-pr.yml
@@ -31,10 +31,6 @@ jobs:
     steps:
       - name: 'Check out code'
         uses: actions/checkout@v4
-      - name: 'Setup Python 3.10'
-        uses: actions/setup-python@v5
-        with:
-          python-version: '3.10'
       - name: 'Install Poetry'
         uses: Gr1N/setup-poetry@v9
       - name: 'Run build'

From 5270caabedee48f145382606ac283819b50b5b14 Mon Sep 17 00:00:00 2001
From: F-WRunTime <freeman.wenzl@runtimeverification.com>
Date: Mon, 10 Mar 2025 14:42:18 -0600
Subject: [PATCH 3/3] modified:   .github/workflows/test-pr.yml - Do not
 install poetry

---
 .github/workflows/test-pr.yml | 2 --
 1 file changed, 2 deletions(-)

diff --git a/.github/workflows/test-pr.yml b/.github/workflows/test-pr.yml
index 80de5a9d3f..0884553502 100644
--- a/.github/workflows/test-pr.yml
+++ b/.github/workflows/test-pr.yml
@@ -31,8 +31,6 @@ jobs:
     steps:
       - name: 'Check out code'
         uses: actions/checkout@v4
-      - name: 'Install Poetry'
-        uses: Gr1N/setup-poetry@v9
       - name: 'Run build'
         run: make -C kevm-pyk build