updated lean-action supports macos

hhu-adam · Aug 21, 2024 · c2f399d · c2f399d
1 parent 735a5f7
commit c2f399d
Showing 1 changed file with 17 additions and 18 deletions.
diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml
@@ -25,30 +25,29 @@ jobs:
         with:
           submodules: true
       - uses: leanprover/lean-action@v1
-        if: matrix.os == 'ubuntu-latest'
+        if: matrix.os != 'windows-latest'
         with:
           lake-package-directory: "demo/server/LeanProject"
           use-mathlib-cache: false
           build: true
           test: false
           lint: false
-      - name: Install elan (macOS)
-        if: matrix.os == 'macos-latest'
-        run: |
-          set -exo pipefail
-          curl https://raw.githubusercontent.com/leanprover/elan/master/elan-init.sh -sSf > elan-init.sh
-          sh elan-init.sh -y
-          source ~/.profile
-          elan toolchain install stable
-          elan default stable
-          echo "$HOME/.elan/bin" >> $GITHUB_PATH
-          source ~/.profile
-      - name: Run lake build (macOS)
-        if: matrix.os == 'macos-latest'
-        run: |
-          cd demo/server/LeanProject
-          lake build
-
+      # - name: Install elan (macOS)
+      #   if: matrix.os == 'macos-latest'
+      #   run: |
+      #     set -exo pipefail
+      #     curl https://raw.githubusercontent.com/leanprover/elan/master/elan-init.sh -sSf > elan-init.sh
+      #     sh elan-init.sh -y
+      #     source ~/.profile
+      #     elan toolchain install stable
+      #     elan default stable
+      #     echo "$HOME/.elan/bin" >> $GITHUB_PATH
+      #     source ~/.profile
+      # - name: Run lake build (macOS)
+      #   if: matrix.os == 'macos-latest'
+      #   run: |
+      #     cd demo/server/LeanProject
+      #     lake build
       - name: Install elan (Windows)
         if: matrix.os == 'windows-latest'
         run: |