chore: less Mac CI

Mac runners are a bottleneck, and are mostly there to check the subprocess interactions and installers. Remove some!
leanprover · Apr 19, 2024 · c809f9b · c809f9b
1 parent e8a85b2
commit c809f9b
Showing 1 changed file with 11 additions and 2 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -19,10 +19,19 @@ jobs:
           - os: ubuntu-latest
             installer: |
               curl https://raw.githubusercontent.com/leanprover/elan/master/elan-init.sh -sSf | sh -s -- -y --default-toolchain none
-          - os: macos-latest
+        # Mac runners are rare and expensive, so spot-check that the
+        # subprocess support seems OK but be less thorough
+        include:
+          - toolchain: "4.7.0"
+            os: macos-latest
             installer: |
               curl https://raw.githubusercontent.com/leanprover/elan/master/elan-init.sh -sSf | sh -s -- -y --default-toolchain none
-          - os: macos-latest
+          - toolchain: "4.7.0"
+            os: macos-latest
+            installer: |
+              brew install elan-init
+          - toolchain: "4.3.0"
+            os: macos-latest
             installer: |
               brew install elan-init
     name: Build and test (${{ matrix.platform.os }}, ${{ matrix.platform.installer}}, ${{ matrix.toolchain}})