From ee82c8e50c5106e0cedada0a083d4cc4129034a2 Mon Sep 17 00:00:00 2001 From: Derek Schuff Date: Thu, 22 Aug 2024 08:35:20 -0700 Subject: [PATCH] Add input for workflow dispatch for W3C publish workflow (#1791) When manually dispatching workflows, inputs can be collected from the dispatching user and passed to the workflow. Use this feature to allow manually setting the W3C_STATE of the document. This will let us publish CR drafts on every push (once we update the default state from WD) and CR snapshots on demand. Co-authored-by: Ms2ger --- .github/workflows/w3c-publish.yml | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/.github/workflows/w3c-publish.yml b/.github/workflows/w3c-publish.yml index 8d64962fa2..d1b2675921 100644 --- a/.github/workflows/w3c-publish.yml +++ b/.github/workflows/w3c-publish.yml @@ -7,6 +7,10 @@ on: # Allows you to run this workflow manually from the Actions tab workflow_dispatch: + inputs: + w3c-status: + required: true + type: string jobs: publish-to-w3c-TR: @@ -30,7 +34,7 @@ jobs: - name: Publish all specs to their https://www.w3.org/TR/ URLs run: cd document && make -e WD-echidna-CI env: - W3C_STATUS: WD + W3C_STATUS: ${{ github.event_name == 'push' && 'WD' || inputs.w3c-status }} 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 }}