Deploy to gh-pages when push to main

Author: w0rm

.github/workflows/gh-pages.yml

@@ -0,0 +1,36 @@
+name: GitHub Pages
+
+on:
+  push:
+    branches: [main]
+
+jobs:
+  gh-pages:
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v2
+
+      - run: git config --global user.name "Andrey Kuzmin"
+      - run: git config --global user.email "[email protected]"
+
+      - uses: actions/setup-node@v1
+        with:
+          node-version: "12"
+
+      - uses: actions/cache@v2
+        with:
+          path: |
+            ~/.npm
+            ~/.elm
+            elm-stuff
+          key: ${{ runner.os }}-cache
+
+      - run: npm install -g [email protected] [email protected]
+
+      - run: elm-test
+
+      - uses: actions/checkout@v2
+        with:
+          path: gh-pages
+          ref: gh-pages
+      - run: ./scripts/gh-pages.sh

scripts/gh-pages.sh

@@ -3,7 +3,9 @@ set -euxo pipefail
 
 version=${1:-}
 
-if [ ! -z "$version" ]; then
+if [ -z "$version" ]; then
+  version_path=""
+else
   version_path="/$version"
 fi