modify workflow

hhu-adam · Aug 23, 2024 · a6a2fcb · a6a2fcb
1 parent 2382219
commit a6a2fcb
Showing 1 changed file with 12 additions and 7 deletions.
diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml
@@ -16,24 +16,27 @@ jobs:
     strategy:
       fail-fast: false
       matrix:
+        os:
+          - ubuntu-latest
+          - macos-latest
+          - windows-latest
         browser:
           - chrome
           - firefox
         include:
-          - name: Linux
-            os: ubuntu-latest
-          - name: macOS
-            os: macos-latest
-          - name: Windows
-            os: windows-latest
+          - os: ubuntu-latest
+            name: Linux
+          - os: macos-latest
+            name: macOS
+          - os: windows-latest
+            name: Windows
 
     name: ${{ matrix.name }} - ${{ matrix.browser }}
     runs-on: ${{ matrix.os }}
     steps:
       - uses: actions/checkout@v4
         with:
           submodules: true
-      - uses: actions/setup-node@v4
       - uses: leanprover/lean-action@v1
         if: matrix.os != 'windows-latest'
         with:
@@ -56,6 +59,8 @@ jobs:
           cd demo/server/LeanProject
           lake build
         shell: bash
+      # must be after elan installation or `lake` will not be found on Windows
+      - uses: actions/setup-node@v4
       - run: npm install
       - run: npm run setup_demo
       - name: Run tests