Remove MacOS from CI

Because we no longer release binaries for x86-64_MacOS
lean-dojo · Mar 26, 2024 · b983b89 · b983b89
1 parent 2c60e84
commit b983b89
Showing 1 changed file with 2 additions and 8 deletions.
diff --git a/.github/workflows/push_pr.yml b/.github/workflows/push_pr.yml
@@ -11,10 +11,7 @@ on:
 
 jobs:
   build:
-    runs-on: ${{ matrix.os }}
-    strategy:
-      matrix:
-        os: [ubuntu-latest, macos-latest]
+    runs-on: ubuntu-latest
     name: Build
     steps:
       - name: Checkout project
@@ -35,10 +32,7 @@ jobs:
         run: ~/.elan/bin/lake build LeanCopilotTests
   test_external:
     needs: build
-    runs-on: ${{ matrix.os }}
-    strategy:
-      matrix:
-        os: [ubuntu-latest, macos-latest]
+    runs-on: ubuntu-latest
     name: Test external
     steps:
       - name: Set up elan