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

---
 .github/workflows/test.yml | 61 +++++++++++++++++---------------------
 1 file changed, 27 insertions(+), 34 deletions(-)

diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml
index b35dc30..ef259f4 100644
--- a/.github/workflows/test.yml
+++ b/.github/workflows/test.yml
@@ -7,48 +7,41 @@ on:
   pull_request:
     branches: ["main"]
 jobs:
-  # test:
-  #   strategy:
-  #     fail-fast: false
-  #     matrix:
-  #       include:
-  #         - name: Linux
-  #           os: ubuntu-latest
-  #         - name: macOS
-  #           os: macos-latest
-  #         # - name: Windows
-  #         #   os: windows-latest
-  #   name: ${{ matrix.name }}
-  #   runs-on: ${{ matrix.os }}
-  #   steps:
-  #     - uses: actions/checkout@v4
-  #       with:
-  #         submodules: true
-  #     # uses lean standard action with all default input values
-  #     - uses: leanprover/lean-action@v1
-  #       with:
-  #         lake-package-directory: "demo/server/LeanProject"
-  #         use-mathlib-cache: false
-  #         build: true
-  #         test: false
-  #         lint: false
-  #     - uses: actions/setup-node@v3
-  #     - run: npm install --loglevel verbose
-  #     - run: npm audit
-  #       continue-on-error: true
-  #     - run: npm run test
-  wintest:
-    name: Windows
-    runs-on: windows-latest
+  test:
+    strategy:
+      fail-fast: false
+      matrix:
+        include:
+          - name: Linux
+            os: ubuntu-latest
+          - name: macOS
+            os: macos-latest
+          - name: Windows
+            os: windows-latest
+    name: ${{ matrix.name }}
+    runs-on: ${{ matrix.os }}
     steps:
       - uses: actions/checkout@v4
         with:
           submodules: true
-      - name: install elan
+      # uses lean standard action with all default input values
+      - uses: leanprover/lean-action@v1
+        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 (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: macos fix
+        if: matrix.os == 'macos-latest'
+        run: source ~/.profile
       - uses: actions/setup-node@v3
       - run: npm install --loglevel verbose
       - run: npm audit