Merge pull request #262 from mjwilson-google/spec-prod

Add auto-publish.yml

.github/workflows/auto-publish.yml

@@ -0,0 +1,18 @@
+name: CI
+on:
+  pull_request: {}
+  push:
+    branches: [gh-pages]
+jobs:
+  main:
+    name: Build, Validate and Deploy
+    runs-on: ubuntu-20.04
+    steps:
+      - uses: actions/checkout@v4
+      - uses: w3c/spec-prod@v2
+        with:
+          BUILD_FAIL_ON: "link-error"
+          W3C_ECHIDNA_TOKEN: ${{ secrets.ECHIDNA_TOKEN }}
+          W3C_WG_DECISION_URL: https://lists.w3.org/Archives/Public/public-audio/2024AprJun/0011.html
+          W3C_BUILD_OVERRIDE: |
+            specStatus: WD

index.html

@@ -84,7 +84,7 @@
         controller value or sending a set of note-on messages that happen to
         represent a G#7 chord).
       </p>
-      <p data-format="markdown">
+      <p>
         To some users, "MIDI" has become synonymous with Standard MIDI Files
         and General MIDI. That is not the intent of this API; the use case of
         simply playing back a .SMF file is not within the purview of this