update action

leanprover-community · Mar 3, 2025 · 13b31c6 · 13b31c6
1 parent 1d4299e
commit 13b31c6
Showing 1 changed file with 4 additions and 2 deletions.
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
@@ -39,7 +39,9 @@ jobs:
           lint: false
       - name: Install dependencies
         run: npm install
-      - name: Build Lean & React
-        run: npm run build
+      - name: Build Lean
+        run: npm run build_server
+      # - name: Build for Production
+      #   run: npm run build_client
       - name: Cypress tests
         run: npm test