From 23f2f30f95d07d6f709ded5d8de0e7746c99646d Mon Sep 17 00:00:00 2001 From: Marcos Caceres Date: Thu, 25 Apr 2024 23:57:55 +1000 Subject: [PATCH] chore: wire up better errata --- .github/workflows/auto-publish-errata.yml | 26 +++++++++++++++++++++++ errata.html | 4 ++-- index.html | 2 +- 3 files changed, 29 insertions(+), 3 deletions(-) create mode 100644 .github/workflows/auto-publish-errata.yml diff --git a/.github/workflows/auto-publish-errata.yml b/.github/workflows/auto-publish-errata.yml new file mode 100644 index 0000000..185729f --- /dev/null +++ b/.github/workflows/auto-publish-errata.yml @@ -0,0 +1,26 @@ +name: Node CI + +on: + push: + branches: + - main + paths: + - errata.html + pull_request: {} + +jobs: + validate-and-publish: + name: Validate and Publish + runs-on: ubuntu-latest # only linux supported at present + steps: + - uses: actions/checkout@v2 + - uses: w3c/spec-prod@v2 + with: + SOURCE: errata.html + TOOLCHAIN: respec + VALIDATE_LINKS: false + VALIDATE_PUBRULES: false + GH_PAGES_BRANCH: gh-pages + W3C_ECHIDNA_TOKEN: ${{ secrets.ECHIDNA_TOKEN }} + W3C_WG_DECISION_URL: "https://lists.w3.org/Archives/Public/public-device-apis/2021May/0008.html" + W3C_NOTIFICATIONS_CC: "${{ secrets.CC }}" diff --git a/errata.html b/errata.html index 19ea703..6765fd8 100644 --- a/errata.html +++ b/errata.html @@ -49,10 +49,10 @@ diff --git a/index.html b/index.html index 00f9376..207226d 100644 --- a/index.html +++ b/index.html @@ -42,7 +42,7 @@ testSuiteURI: "https://wpt.live/geolocation-API/", implementationReportURI: "https://w3c.github.io/geolocation-api/reports/PR_imp_report.html", xref: "web-platform", - errata: "https://github.com/w3c/geolocation-api/labels/errata", + errata: "https://w3c.github.io/geolocation-api/errata.html", };