From b9d089d1355f98732d09de09167e656bcec88d87 Mon Sep 17 00:00:00 2001 From: Derek Schuff Date: Wed, 27 Nov 2024 15:58:42 -0800 Subject: [PATCH] Allow real Echidna publishing runs from workflow_dispatch --- .github/workflows/w3c-publish.yml | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-) diff --git a/.github/workflows/w3c-publish.yml b/.github/workflows/w3c-publish.yml index bcb26699dd..cc59aa86e5 100644 --- 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