diff --git a/.github/workflows/w3c-publish.yml b/.github/workflows/w3c-publish.yml index 441f52bc53..4258d55e72 100644 --- a/.github/workflows/w3c-publish.yml +++ b/.github/workflows/w3c-publish.yml @@ -27,7 +27,6 @@ on: jobs: publish-to-w3c-TR: - if: github.repository == 'WebAssembly/spec' runs-on: ubuntu-latest steps: - name: Checkout repo @@ -45,6 +44,7 @@ jobs: - name: Setup Sphinx run: pip install six && pip install sphinx==5.1.0 - name: Publish all specs to their https://www.w3.org/TR/ URLs + if: github.repository == 'WebAssembly/spec' run: cd document && make -e WD-echidna-CI env: W3C_STATUS: ${{ github.event_name == 'workflow_dispatch' && inputs.w3c-status || 'WD' }} @@ -53,3 +53,11 @@ jobs: W3C_ECHIDNA_TOKEN_WEBAPI: ${{ secrets.W3C_ECHIDNA_TOKEN_WEBAPI }} ECHIDNA_DRYRUN: ${{ github.event_name == 'pull_request'}} YARN_ENABLE_IMMUTABLE_INSTALLS: false + - name: Validate all specs with Echidna + if: github.repository != 'WebAssembly/spec' + run: cd document && make -e WD-echidna + env: + W3C_STATUS: ${{ github.event_name == 'workflow_dispatch' && inputs.w3c-status || 'WD' }} + W3C_USERNAME: ${{ secrets.W3C_USERNAME }} + W3C_PASSWORD: ${{ secrets.W3C_PASSWORD }} + YARN_ENABLE_IMMUTABLE_INSTALLS: false diff --git a/document/core/Makefile b/document/core/Makefile index e8e66c6a7d..6943e3e299 100644 --- a/document/core/Makefile +++ b/document/core/Makefile @@ -13,7 +13,7 @@ NAME = WebAssembly DECISION_URL = https://github.com/WebAssembly/meetings/blob/main/main/2024/WG-06-12.md TAR = tar DEADLINE = $(shell date -d "+30 days" +%Y-%m-%d 2>/dev/null || date -v +30d +%Y-%m-%d) -ECHIDNA_DRYRUN = false +ECHIDNA_DRYRUN = true # Internal variables. PAPEROPT_a4 = -D latex_paper_size=a4 diff --git a/document/js-api/Makefile b/document/js-api/Makefile index a844922320..e34b7a6b24 100644 --- a/document/js-api/Makefile +++ b/document/js-api/Makefile @@ -6,7 +6,7 @@ NAME = WebAssembly DECISION_URL = https://github.com/WebAssembly/meetings/blob/main/main/2024/WG-06-12.md TAR = tar DEADLINE = $(shell date -d "+30 days" +%Y-%m-%d 2>/dev/null || date -v +30d +%Y-%m-%d) -ECHIDNA_DRYRUN = false +ECHIDNA_DRYRUN = true .PHONY: all all: diff --git a/document/web-api/Makefile b/document/web-api/Makefile index b4b76ebfb0..bd25da603b 100644 --- a/document/web-api/Makefile +++ b/document/web-api/Makefile @@ -6,7 +6,7 @@ NAME = WebAssembly DECISION_URL = https://github.com/WebAssembly/meetings/blob/main/main/2024/WG-06-12.md TAR = tar DEADLINE = $(shell date -d "+30 days" +%Y-%m-%d 2>/dev/null || date -v +30d +%Y-%m-%d) -ECHIDNA_DRYRUN = false +ECHIDNA_DRYRUN = true .PHONY: all all: