Add GitHub Actions docs deployment (Pages artifact, no deploy key needed)

Author: Dale-Black

.github/workflows/docs.yml

@@ -0,0 +1,73 @@
+name: Build and Deploy Docs
+
+on:
+  push:
+    branches: [main]
+  workflow_dispatch:
+
+permissions:
+  contents: read
+  pages: write
+  id-token: write
+
+concurrency:
+  group: "pages"
+  cancel-in-progress: false
+
+jobs:
+  build:
+    runs-on: ubuntu-latest
+    steps:
+      - name: Checkout
+        uses: actions/checkout@v4
+
+      - name: Setup Julia
+        uses: julia-actions/setup-julia@v2
+        with:
+          version: '1.12'
+
+      - name: Setup Node.js
+        uses: actions/setup-node@v4
+        with:
+          node-version: '22'
+
+      - name: Install Julia dependencies
+        run: |
+          julia --project=docs -e '
+            using Pkg
+            Pkg.develop(PackageSpec(path="."))
+            Pkg.instantiate()
+          '
+
+      - name: Build playground CodeMirror bundle
+        run: |
+          if [ -f playground/cm-bundle/package.json ]; then
+            cd playground/cm-bundle
+            npm ci
+            npx esbuild entry-global.js --bundle --format=iife --outfile=cm-julia.js --minify
+          fi
+
+      - name: Build docs
+        env:
+          CI: "true"
+        run: |
+          julia --project=docs docs/make.jl
+
+      - name: Setup Pages
+        uses: actions/configure-pages@v4
+
+      - name: Upload artifact
+        uses: actions/upload-pages-artifact@v3
+        with:
+          path: docs/build
+
+  deploy:
+    environment:
+      name: github-pages
+      url: ${{ steps.deployment.outputs.page_url }}
+    runs-on: ubuntu-latest
+    needs: build
+    steps:
+      - name: Deploy to GitHub Pages
+        id: deployment
+        uses: actions/deploy-pages@v4

docs/make.jl

@@ -24,7 +24,5 @@ makedocs(;
     ),
 )
 
-deploydocs(;
-    repo="github.com/GroupTherapyOrg/JavaScriptTarget.jl.git",
-    devbranch="main",
-)
+# Deployment handled by GitHub Actions (actions/deploy-pages)
+# No deploydocs() needed — workflow uploads docs/build/ directly