Allow real Echidna publishing runs from workflow_dispatch

WebAssembly · Nov 27, 2024 · b9d089d · b9d089d
1 parent bd2aa85
commit b9d089d
Showing 1 changed file with 6 additions and 1 deletion.
diff --git a/.github/workflows/w3c-publish.yml b/.github/workflows/w3c-publish.yml
@@ -15,6 +15,10 @@ on:
   # Candidate Recommendation Snapshot).
   workflow_dispatch:
     inputs:
+      dry-run:
+        required: true
+        type: boolean
+        description: If set, Echidna will validate but not publish.
       w3c-status:
         required: true
         type: choice
@@ -60,7 +64,8 @@ jobs:
           W3C_ECHIDNA_TOKEN_CORE: ${{ secrets.W3C_ECHIDNA_TOKEN_CORE }}
           W3C_ECHIDNA_TOKEN_JSAPI: ${{ secrets.W3C_ECHIDNA_TOKEN_JSAPI }}
           W3C_ECHIDNA_TOKEN_WEBAPI: ${{ secrets.W3C_ECHIDNA_TOKEN_WEBAPI }}
-          ECHIDNA_DRYRUN: ${{ !(github.event_name == 'push' && github.repository == 'WebAssembly/spec' && github.ref == 'refs/heads/main') }}
+          ECHIDNA_DRYRUN: ${{ (github.event_name == 'workflow_dispatch' && inputs.dry-run) ||
+                              !(github.event_name == 'push' && github.repository == 'WebAssembly/spec' && github.ref == 'refs/heads/main') }}
       - name: Validate ${{ matrix.spec }} spec with Echidna
         if: env.W3C_USERNAME
         run: cd document && make -e -C ${{ matrix.spec }} WD-echidna