use a github action to deploy docs, instead of commiting files (#361)

.github/workflows/check.yml

@@ -16,15 +16,14 @@ jobs:
 
       - name: Setup node
         uses: actions/setup-node@v2
+        with:
+          node-version: '16'
 
       - name: Install dependencies
         run: npm ci
 
       - name: Build
-        run: npm run build && npm run build-spec
-
-      - name: Enforce docs build
-        run: if [ ! -z "$(git status --porcelain)" ]; then echo "repo is dirty; you probably need to 'npm run build-spec' and commit the result"; exit 1; fi
+        run: npm run build
 
       - name: Test
         run: npm test

.github/workflows/update-docs.yml

@@ -0,0 +1,30 @@
+name: 'update docs'
+
+on:
+  push:
+    branches:
+      - main
+
+jobs:
+  docs:
+    name: 'deploy github pages'
+    runs-on: ubuntu-latest
+    steps:
+      - name: Checkout
+        uses: actions/checkout@v2
+
+      - name: Setup node
+        uses: actions/setup-node@v2
+        with:
+          node-version: '16'
+
+      - name: Install dependencies
+        run: npm ci
+
+      - name: Build
+        run: npm run build && npm run build-spec
+
+      - name: Deploy docs
+        run: ./scripts/auto-deploy.sh
+        env:
+          GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}

.gitignore

@@ -5,3 +5,4 @@ test/baselines/generated-local
 package
 ecmarkup-*.tgz
 .vscode/
+docs/