Rebuild docs when files are updated on master

Author: miroiu

.github/workflows/build-website-master.yml

@@ -0,0 +1,26 @@
+name: build-website-master
+
+on:
+  push:
+    branches: [master]
+    paths:
+      - 'docs/**'
+
+jobs:
+  gh-release:
+    if: github.event_name != 'pull_request'
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v1
+      - uses: actions/setup-node@v1
+        with:
+          node-version: '20.x'
+      - name: Build
+        run: |
+          npm ci
+          npm run build
+      - name: Release to GitHub Pages
+        uses: peaceiris/actions-gh-pages@v3
+        with:
+          github_token: ${{ secrets.GITHUB_TOKEN }}
+          publish_dir: ./dist

.github/workflows/build-website.yml

@@ -5,6 +5,7 @@ on:
     branches: [docs]
   push:
     branches: [docs]
+  workflow_dispatch:
 
 jobs:
   gh-release: