From ea0cbd1a3ba494148541422106cc66a186b10963 Mon Sep 17 00:00:00 2001
From: Michael Wilson
Date: Wed, 3 Jul 2024 11:10:58 -0700
Subject: [PATCH 1/2] Add auto-publish.yml
---
.github/workflows/auto-publish.yml | 18 ++++++++++++++++++
1 file changed, 18 insertions(+)
create mode 100644 .github/workflows/auto-publish.yml
diff --git a/.github/workflows/auto-publish.yml b/.github/workflows/auto-publish.yml
new file mode 100644
index 0000000..cacb308
--- /dev/null
+++ b/.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
From 566a36eba410bf18af94912534e2428f499ba9db Mon Sep 17 00:00:00 2001
From: Michael Wilson
Date: Wed, 3 Jul 2024 11:36:59 -0700
Subject: [PATCH 2/2] Remove extra parameter from p tag
---
index.html | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/index.html b/index.html
index 32dc6ec..f045eb3 100644
--- a/index.html
+++ b/index.html
@@ -84,7 +84,7 @@
controller value or sending a set of note-on messages that happen to
represent a G#7 chord).
-
+
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