update workflow

leanprover-community · Nov 14, 2023 · b665ec4 · b665ec4
1 parent 1f715f2
commit b665ec4
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
@@ -11,5 +11,5 @@ jobs:
           node-version: 19
       - run: npm install --loglevel verbose
       - run: npm audit
+        continue-on-error: true
       - run: npm run build
-        if: always()