Mute macOS build

Agda-zh · Apr 2, 2024 · b49d36f · b49d36f
1 parent b3977a7
commit b49d36f
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -32,8 +32,8 @@ jobs:
         include:
           # Default versions
           - name: "Build on Linux"
-          - name: "Build on macOS"
-            os: macOS-latest
+          # - name: "Build on macOS"
+          #   os: macOS-latest
           - name: "Build on Windows"
             os: windows-latest