Update docs GitHub Pages workflow

Revamp the docs CI to target GitHub Pages: add workflow_dispatch trigger, set explicit pages/content/id-token permissions, and configure concurrency (group "pages"; do not cancel in-progress runs). Split into build and deploy jobs so build checks out code, uses setup-node@v6 (node 25) and uploads the site artifact, while a separate deploy job (with github-pages environment) runs the deploy step. Bump actions to newer versions (actions/checkout@v6, actions/setup-node@v6, actions/upload-pages-artifact@v4, actions/deploy-pages@v4) and add actions/configure-pages@v5 to prepare Pages deployment.

Author: jcputney

.github/workflows/docs.yml

@@ -1,34 +1,34 @@
-name: Deploy Docs
+---
+name: Deploy to GitHub Pages
 
 on:
   push:
-    branches: [main]
-    paths:
-      - 'docs/**'
+    branches:
+      - main
+  workflow_dispatch:
 
+# Sets permissions of the GITHUB_TOKEN to allow deployment to GitHub Pages
 permissions:
   contents: read
   pages: write
   id-token: write
 
+# Allow only one concurrent deployment, skipping runs queued between the run in-progress and latest queued.
+# However, do NOT cancel in-progress runs as we want to allow these production deployments to complete.
 concurrency:
-  group: pages
-  cancel-in-progress: true
+  group: "pages"
+  cancel-in-progress: false
 
 jobs:
-  deploy:
+  build:
     runs-on: ubuntu-latest
-    environment:
-      name: github-pages
-      url: ${{ steps.deployment.outputs.page_url }}
-
     steps:
-      - uses: actions/checkout@v4
+      - uses: actions/checkout@v6
 
       - name: Set up Node.js
-        uses: actions/setup-node@v4
+        uses: actions/setup-node@v6
         with:
-          node-version: 20
+          node-version: 25
           cache: npm
           cache-dependency-path: docs/package-lock.json
 
@@ -40,12 +40,21 @@ jobs:
         working-directory: docs
         run: npm run build
 
+      - name: Setup Pages
+        uses: actions/configure-pages@v5
+
       - name: Upload artifact
-        uses: actions/upload-pages-artifact@v3
+        uses: actions/upload-pages-artifact@v4
         with:
           path: docs/build
-          overwrite: true
 
+  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