diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 35e3b4f..bc0d181 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -16,7 +16,7 @@ jobs:
         run: make norm
   build:
     name: Build + Check allowed functions
-    runs-on: ubuntu-latest
+    runs-on: macos-12
     steps:
       - name: Checkout repository
         uses: actions/checkout@v4