diff --git a/.github/workflows/publish.yml b/.github/workflows/publish.yml
index f4c398d6..88e19b37 100644
--- a/.github/workflows/publish.yml
+++ b/.github/workflows/publish.yml
@@ -368,6 +368,7 @@ jobs:
       
       - name: Validate specs
         if: ${{ github.event_name != 'workflow_dispatch' || !inputs.dry_run }}
+        continue-on-error: true
         run: node bin/leanspec.js validate --warnings-only
       
       - name: Prepare packages for npm publish