update action

leanprover-community · Mar 3, 2025 · 49e5343 · 49e5343
1 parent f132a88
commit 49e5343
Showing 1 changed file with 4 additions and 2 deletions.
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
@@ -35,8 +35,10 @@ jobs:
           build: true
           test: false
           lint: false
-      - run: npm install
+      - name: Install dependencies
+        run: npm install
       - name: Build for production
         run: npm run build
-      - name: Run cypress tests
+      - name: Cypress tests
+        if: always()
         run: npm test