update workflow

leanprover-community · Nov 14, 2023 · 1f715f2 · 1f715f2
1 parent 97b1480
commit 1f715f2
Showing 1 changed file with 2 additions and 3 deletions.
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
@@ -10,7 +10,6 @@ jobs:
         with:
           node-version: 19
       - run: npm install --loglevel verbose
-      - name: npm audit
-        continue-on-error: true
-        run: npm audit
+      - run: npm audit
       - run: npm run build
+        if: always()