Disable WebIDL validation

blocked by w3c/spec-prod#155
w3c · Mar 1, 2023 · 049edf4 · 049edf4
1 parent f357631
commit 049edf4
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/.github/workflows/auto-publish.yml b/.github/workflows/auto-publish.yml
@@ -16,6 +16,8 @@ jobs:
           W3C_WG_DECISION_URL: "https://lists.w3.org/Archives/Public/public-webrtc/2016Mar/0031.html"
           W3C_NOTIFICATIONS_CC: "[email protected]"
           VALIDATE_LINKS: false
+          # pending https://github.com/w3c/spec-prod/pull/155
+          VALIDATE_WEBIDL: false
           SOURCE: webrtc.html
           TOOLCHAIN: respec
           W3C_ECHIDNA_TOKEN: ${{ secrets.ECHIDNA_TOKEN }}