Meta: move to GitHub Actions

.github/workflows/build.yml

@@ -0,0 +1,26 @@
+name: Build
+on:
+  pull_request:
+    branches:
+    - master
+  push:
+    branches:
+    - master
+jobs:
+  build:
+    name: Build
+    runs-on: ubuntu-latest
+    steps:
+    - uses: actions/checkout@v2
+    - uses: actions/setup-node@v1
+      with:
+        node-version: 16
+    - run: npm install
+    - name: Build
+      run: make ci
+    - name: Deploy
+      if: ${{ github.event_name == 'push' && github.ref == 'refs/heads/master' }}
+      uses: peaceiris/actions-gh-pages@v3
+      with:
+        github_token: ${{ secrets.GITHUB_TOKEN }}
+        publish_dir: ./out

.gitignore

@@ -1,5 +1,4 @@
 /out/
 index.ids
-deploy_key
 index.html
 /node_modules/

Makefile

@@ -1,17 +1,16 @@
-SHELL=/bin/bash
+SHELL=/bin/bash -o pipefail
+.PHONY: ci clean
 
 bs_installed  := $(shell command -v bikeshed 2> /dev/null)
 node_installed := $(shell command -v node 2> /dev/null)
 npm_installed := $(shell command -v npm 2> /dev/null)
 pp_webidl_installed := $(shell npm ls webidl-grammar-post-processor --parseable --depth=0 2> /dev/null)
 
-all : index.html
-
-index.html : index.bs
+index.html: index.bs
 ifdef bs_installed
 	bikeshed spec --die-on=warning index.bs
 else
-ifndef TRAVIS
+ifndef CI
 	@echo Can\'t find a local version of Bikeshed. To install it, visit:
 	@echo
 	@echo https://tabatkins.github.io/bikeshed/#installing
@@ -34,7 +33,7 @@ endif
 endif
 ifdef node_installed
 	node ./check-grammar.js index.html
-else ifdef TRAVIS
+else ifdef CI
 	exit 1
 else
 	@echo You need node for grammer checking.
@@ -44,7 +43,7 @@ ifdef pp_webidl_installed
 else ifdef npm_installed
 	npm install
 	npm run pp-webidl -- --input index.html
-else ifdef TRAVIS
+else ifdef CI
 	exit 1
 else
 	@echo You need node.js and npm to apply post-processing. To install it, visit:
@@ -54,7 +53,10 @@ else
 	@echo Until then, post-processing will be done dynamically, in JS, on page load.
 endif
 
-clean :
-	rm -f index.html
+ci:
+	mkdir -p out
+	make index.html
+	mv index.html out/index.html
 
-.PHONY : all clean
+clean:
+	rm -f index.html