Update auto-publish scripts

Author: clelland

.github/workflows/build.yml

@@ -0,0 +1,22 @@
+name: Build
+on:
+  pull_request:
+    branches:
+    - main
+  push:
+    branches:
+    - main
+jobs:
+  build:
+    name: Build
+    runs-on: ubuntu-latest
+    steps:
+    - uses: actions/checkout@v2
+    - name: Build
+      run: ./compile.sh
+    - name: Deploy
+      if: ${{ github.event_name == 'push' && github.ref == 'refs/heads/main' }}
+      uses: peaceiris/actions-gh-pages@v3
+      with:
+        github_token: ${{ secrets.GITHUB_TOKEN }}
+        publish_dir: ./out

.travis.yml

@@ -10,24 +10,37 @@ fi
 
 set -e # Exit with nonzero exit code if anything fails
 
-echo Running bikeshed on index.src.html
-bikeshed -f spec ./index.src.html
-
-for SPEC in $FILES; do
+for SPEC in index.src.html $FILES; do
   echo Running bikeshed on $SPEC
-  bikeshed -f spec $SPEC
+  if which bikeshed; then
+    bikeshed -f spec $SPEC
+  else
+    SPEC_OUT=${SPEC%.bs}.html
+    HTTP_STATUS=$(curl https://api.csswg.org/bikeshed/ \
+                       --output ${SPEC_OUT} \
+                       --write-out "%{http_code}" \
+                       --header "Accept: text/plain, text/html" \
+                       -F file=@${SPEC})
+    if [ "$HTTP_STATUS" -ne "200" ]; then
+      echo ""; cat $SPEC_OUT; echo ""
+      rm -f $SPEC_OUT
+      exit 1
+    fi
+  fi
 done
 
 OUTDIR=${1:-out}
 
+mkdir -p $OUTDIR
+
 if [ -d $OUTDIR ]; then
-  echo Copy index.html into $OUTDIR/index.html
-  cp index.html $OUTDIR/index.html
+  echo Move index.html into $OUTDIR/index.html
+  mv index.html $OUTDIR/$SPEC_OUT
   for SPEC in $FILES; do
     SPEC_OUT=${SPEC%.bs}.html
     if [ -f $SPEC_OUT ]; then
-      echo Copy $SPEC_OUT into $OUTDIR/$SPEC_OUT
-      cp $SPEC_OUT $OUTDIR/$SPEC_OUT
+      echo Move $SPEC_OUT into $OUTDIR/$SPEC_OUT
+      mv $SPEC_OUT $OUTDIR/$SPEC_OUT
     fi
   done
 fi