From 4695bac6dd9e9cf89540087724e2b48d0dce3616 Mon Sep 17 00:00:00 2001
From: "copilot-swe-agent[bot]" <198982749+Copilot@users.noreply.github.com>
Date: Sun, 2 Aug 2026 10:15:46 +0000
Subject: [PATCH] Add docs publishing workflow for GitHub Pages

---
 .github/workflows/docs.yml | 49 ++++++++++++++++++++++++++++++++++++++
 bin/docs                   |  1 +
 2 files changed, 50 insertions(+)
 create mode 100644 .github/workflows/docs.yml

diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml
new file mode 100644
index 0000000..6807c3c
--- /dev/null
+++ b/.github/workflows/docs.yml
@@ -0,0 +1,49 @@
+name: Docs
+
+on:
+  push:
+    branches: [ master ]
+  workflow_dispatch:
+
+permissions:
+  contents: read
+  pages: write
+  id-token: write
+
+concurrency:
+  group: pages
+  cancel-in-progress: true
+
+jobs:
+  build:
+    runs-on: ubuntu-24.04
+    steps:
+      - name: Checkout
+        uses: actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1 # v7.0.1
+
+      - name: Setup Node.js
+        uses: actions/setup-node@60edb5dd545a775178f52524783378180af0d1f8 # v4.0.2
+        with:
+          node-version: '10.24.1'
+
+      - name: Build docs
+        run: bash bin/docs
+
+      - name: Setup Pages
+        uses: actions/configure-pages@v5
+
+      - name: Upload artifact
+        uses: actions/upload-pages-artifact@v4
+        with:
+          path: doc/compiled
+
+  deploy:
+    environment:
+      name: github-pages
+      url: ${{ steps.deployment.outputs.page_url }}
+    runs-on: ubuntu-24.04
+    needs: build
+    steps:
+      - name: Deploy to GitHub Pages
+        id: deployment
+        uses: actions/deploy-pages@v4
diff --git a/bin/docs b/bin/docs
index 063e21d..2e35bf5 100755
--- a/bin/docs
+++ b/bin/docs
@@ -1,4 +1,5 @@
 #!/usr/bin/env bash
+set -e
 
 if [ ! -d "doc" ]; then
   echo "Must be run from lua_cliargs root"