Add workflow_dispatch trigger to release workflow for manual docs deployment.

- Allow manual re-deployment of versioned docs without rebuilding packages
- Skip build, PyPI publish, and GitHub release jobs when manually triggered
- Accept version input parameter for manual deployment

Author: jat255

.github/workflows/release.yml

@@ -5,9 +5,18 @@ on:
     tags:
       - "v*.*.*" # Trigger on version tags like v1.0.0, v2.1.3, etc.
 
+  # Allow manual trigger to re-run docs deployment
+  workflow_dispatch:
+    inputs:
+      version:
+        description: "Version to deploy docs for (e.g., 2.1.1)"
+        required: true
+        type: string
+
 jobs:
   build:
     name: Build distribution
+    if: github.event_name != 'workflow_dispatch'
     runs-on: ubuntu-latest
     steps:
       - uses: actions/checkout@v4
@@ -38,7 +47,7 @@ jobs:
 
   publish-to-pypi:
     name: Publish to PyPI
-    if: startsWith(github.ref, 'refs/tags/') # Only publish on tags
+    if: startsWith(github.ref, 'refs/tags/') && github.event_name != 'workflow_dispatch'
     needs: build
     runs-on: ubuntu-latest
     environment:
@@ -59,6 +68,7 @@ jobs:
 
   github-release:
     name: Create GitHub Release
+    if: github.event_name != 'workflow_dispatch'
     needs: publish-to-pypi
     runs-on: ubuntu-latest
     permissions:
@@ -91,6 +101,7 @@ jobs:
 
   deploy-versioned-docs:
     name: Deploy versioned documentation
+    if: always() && (needs.github-release.result == 'success' || github.event_name == 'workflow_dispatch')
     needs: github-release
     runs-on: ubuntu-latest
     permissions:
@@ -117,10 +128,16 @@ jobs:
       - name: Build documentation
         run: ./scripts/build_docs.sh
 
-      - name: Extract version from tag
+      - name: Extract version from tag or input
         id: version
         run: |
-          VERSION=${GITHUB_REF#refs/tags/v}
+          if [[ "${{ github.event_name }}" == "workflow_dispatch" ]]; then
+            VERSION="${{ inputs.version }}"
+            echo "Using manually specified version: $VERSION"
+          else
+            VERSION=${GITHUB_REF#refs/tags/v}
+            echo "Extracted version from tag: $VERSION"
+          fi
           echo "version=$VERSION" >> $GITHUB_OUTPUT
 
       - name: Generate root index.html redirect
@@ -132,6 +149,9 @@ jobs:
           git config user.name "github-actions[bot]"
           git config user.email "github-actions[bot]@users.noreply.github.com"
 
+          # Save the generated index.html before switching branches
+          cp index.html /tmp/index.html
+
           # Stash any local changes (e.g., uv.lock modifications from uv sync)
           git stash --include-untracked || true
 
@@ -149,7 +169,7 @@ jobs:
           rsync -avr _build/ "$VERSION_DIR/"
 
           # Update root index.html redirect to latest stable version
-          cp index.html ./
+          cp /tmp/index.html index.html
 
           git add "$VERSION_DIR" index.html
           git commit -m "Deploy docs for version ${{ steps.version.outputs.version }}" || echo "No changes to commit"