From c6a9bfcde5a4ad8157ad54fa5326c7739e1ed7aa Mon Sep 17 00:00:00 2001
From: Jon Eugster <eugster.jon@gmail.com>
Date: Tue, 20 Aug 2024 12:39:59 +0200
Subject: [PATCH] update workflow

---
 .github/workflows/test.yml | 32 ++++++++++++++------------------
 1 file changed, 14 insertions(+), 18 deletions(-)

diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml
index 36eb073..0459afe 100644
--- a/.github/workflows/test.yml
+++ b/.github/workflows/test.yml
@@ -12,10 +12,10 @@ jobs:
       fail-fast: false
       matrix:
         include:
-          - name: Linux
-            os: ubuntu-latest
-          # - name: macOS
-          #   os: macos-latest
+          # - name: Linux
+          #   os: ubuntu-latest
+          - name: macOS
+            os: macos-latest
           - name: Windows
             os: windows-latest
     name: ${{ matrix.name }}
@@ -32,7 +32,16 @@ jobs:
           build: true
           test: false
           lint: false
-
+      - name: install elan (macOS)
+        if: matrix.os == 'macos-latest'
+        run: |
+          /bin/bash -c "$(curl -fsSL https://raw.githubusercontent.com/leanprover-community/mathlib4/master/scripts/install_macos.sh)"
+          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'
@@ -41,12 +50,10 @@ jobs:
           echo 1 | powershell -ExecutionPolicy Bypass -f elan-init.ps1
           del elan-init.ps1
         shell: pwsh
-
       - name: add elan to PATH (Windows)
         if: matrix.os == 'windows-latest'
         run: (Resolve-Path ~/.elan/bin).Path >> $Env:GITHUB_PATH
         shell: pwsh
-
       - name: run lake build (Windows)
         if: matrix.os == 'windows-latest'
         run: |
@@ -54,17 +61,6 @@ jobs:
           lake build
         shell: pwsh
 
-      # - name: install elan (Windows)
-      #   if: matrix.os == 'windows-latest'
-      #   run: |
-      #     curl https://raw.githubusercontent.com/leanprover/elan/master/elan-init.sh -sSf > elan-init.sh
-      #     sh elan-init.sh -y
-      #     echo "$HOME/.elan/bin" >> $GITHUB_PATH
-      # - name: lean bui.d (Windows)
-      #   if: matrix.os == 'windows-latest'
-      #   run: |
-      #     cd demo\server\LeanProject
-      #     lake build
       - uses: actions/setup-node@v3
       - run: npm install --loglevel verbose
       - run: npm audit