Switch to GitHub action

.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@v2
+      - uses: w3c/spec-prod@v2
+        with:
+          W3C_ECHIDNA_TOKEN: ${{ secrets.W3C_TR_TOKEN }}
+          W3C_WG_DECISION_URL: https://lists.w3.org/Archives/Public/public-web-perf/2021Apr/0005.html
+          W3C_BUILD_OVERRIDE: |
+             shortName: navigation-timing-2
+             specStatus: WD

index.html

@@ -544,7 +544,7 @@ <h3>
       <h2>Creating a navigation timing entry</h2>
       <p data-dfn-for="Document">Each [=document=] has an associated <dfn>navigation timing entry</dfn>, initially unset.
 
-      <p>To <dfn export="">create the navigation timing entry</dfn> for {{Document}} |document|,
+      <p>To <dfn data-export="">create the navigation timing entry</dfn> for {{Document}} |document|,
       given a [=fetch timing info=] |fetchTiming|, a number |redirectCount|, a
       {{NavigationType}} |navigationType|, and a null or [=service worker timing info=] |serviceWorkerTiming|,
       do the following:
@@ -570,7 +570,7 @@ <h2>Creating a navigation timing entry</h2>
         <a data-cite='performance-timeline-2#dfn-performance-entry-buffer'>performance entry buffer</a>.
       </ol>
 
-      <p>To <dfn export="">queue the navigation timing entry</dfn> for {{Document}} |document|,
+      <p>To <dfn data-export="">queue the navigation timing entry</dfn> for {{Document}} |document|,
       <a data-cite='performance-timeline-2#dfn-queue-a-performanceentry'>queue</a> |document|'s
       <span>navigation timing entry</span>.
     </secript>