From 946acceb2edd1e46873274586eed480971977059 Mon Sep 17 00:00:00 2001 From: Marcos Caceres Date: Thu, 3 Jul 2025 19:08:53 +1000 Subject: [PATCH 1/3] chore: setup auto publish --- .github/workflows/auto-publish.yml | 26 +++++++++++++++++ .github/workflows/gh-pages.yml | 47 ------------------------------ 2 files changed, 26 insertions(+), 47 deletions(-) create mode 100644 .github/workflows/auto-publish.yml delete mode 100644 .github/workflows/gh-pages.yml diff --git a/.github/workflows/auto-publish.yml b/.github/workflows/auto-publish.yml new file mode 100644 index 00000000..2fbde0a6 --- /dev/null +++ b/.github/workflows/auto-publish.yml @@ -0,0 +1,26 @@ +name: Node CI + +on: + push: + branches: + - main + pull_request: {} + +jobs: + validate-and-publish: + name: Validate and Publish + runs-on: ubuntu-latest + steps: + - uses: actions/checkout@v2 + - uses: w3c/spec-prod@v2 + with: + TOOLCHAIN: respec + VALIDATE_LINKS: false + VALIDATE_PUBRULES: false + GH_PAGES_BRANCH: gh-pages + W3C_API_KEY: ${{ secrets.W3C_API_KEY }} + W3C_ECHIDNA_TOKEN: ${{ secrets.ECHIDNA_TOKEN }} + W3C_WG_DECISION_URL: "https://lists.w3.org/Archives/Public/public-fedid-wg/2025Jun/0035.html" + W3C_NOTIFICATIONS_CC: "${{ secrets.CC }}" + W3C_BUILD_OVERRIDE: | + specStatus: WD diff --git a/.github/workflows/gh-pages.yml b/.github/workflows/gh-pages.yml deleted file mode 100644 index 15b7d4b2..00000000 --- a/.github/workflows/gh-pages.yml +++ /dev/null @@ -1,47 +0,0 @@ -# Simple workflow for deploying static content to GitHub Pages -name: Deploy static content to Pages - -on: - # Runs on pushes targeting the default branch - push: - branches: - - main - paths: - - 'index.html' - - 'w3c.json' - - # Allows you to run this workflow manually from the Actions tab - workflow_dispatch: - -# Sets permissions of the GITHUB_TOKEN to allow deployment to GitHub Pages -permissions: - contents: read - pages: write - id-token: write - -# Allow only one concurrent deployment, skipping runs queued between the run in-progress and latest queued. -# However, do NOT cancel in-progress runs as we want to allow these production deployments to complete. -concurrency: - group: "pages" - cancel-in-progress: false - -jobs: - # Single deploy job since we're just deploying - deploy: - environment: - name: github-pages - url: ${{ steps.deployment.outputs.page_url }} - runs-on: ubuntu-latest - steps: - - name: Checkout - uses: actions/checkout@v4 - - name: Setup Pages - uses: actions/configure-pages@v5 - - name: Upload artifact - uses: actions/upload-pages-artifact@v3 - with: - # Upload entire repository - path: '.' - - name: Deploy to GitHub Pages - id: deployment - uses: actions/deploy-pages@v4 From ff30d7daa30b6e1c692250e3740d749013d399c6 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Marcos=20C=C3=A1ceres?= Date: Mon, 7 Jul 2025 14:40:04 +1000 Subject: [PATCH 2/3] Update .github/workflows/auto-publish.yml Co-authored-by: Simone Onofri --- .github/workflows/auto-publish.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/auto-publish.yml b/.github/workflows/auto-publish.yml index 2fbde0a6..e3934fab 100644 --- a/.github/workflows/auto-publish.yml +++ b/.github/workflows/auto-publish.yml @@ -15,7 +15,7 @@ jobs: - uses: w3c/spec-prod@v2 with: TOOLCHAIN: respec - VALIDATE_LINKS: false + VALIDATE_LINKS: true VALIDATE_PUBRULES: false GH_PAGES_BRANCH: gh-pages W3C_API_KEY: ${{ secrets.W3C_API_KEY }} From 1dcd4dcd61a6a6f1f5ddbcded0e52ae00488444a Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Marcos=20C=C3=A1ceres?= Date: Mon, 7 Jul 2025 14:40:13 +1000 Subject: [PATCH 3/3] Update .github/workflows/auto-publish.yml Co-authored-by: Simone Onofri --- .github/workflows/auto-publish.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/auto-publish.yml b/.github/workflows/auto-publish.yml index e3934fab..8d83b2e4 100644 --- a/.github/workflows/auto-publish.yml +++ b/.github/workflows/auto-publish.yml @@ -16,7 +16,7 @@ jobs: with: TOOLCHAIN: respec VALIDATE_LINKS: true - VALIDATE_PUBRULES: false + VALIDATE_PUBRULES: true GH_PAGES_BRANCH: gh-pages W3C_API_KEY: ${{ secrets.W3C_API_KEY }} W3C_ECHIDNA_TOKEN: ${{ secrets.ECHIDNA_TOKEN }}