workflows updated

Author: prathameshnium

.github/workflows/docs.yml

@@ -1,56 +1,65 @@
 name: Deploy Sphinx Docs to GitHub Pages
 
 on:
+  # Rebuild automatically when documentation or its assets change on main
+  push:
+    branches: [main]
+    paths:
+      - 'docs/**'
+      - 'pica/assets/**'
+      - 'publications/**'
+      - '.github/workflows/docs.yml'
+  # Keep the manual trigger for on-demand deploys
   workflow_dispatch:
 
 permissions:
   contents: read
   pages: write
   id-token: write
 
+# Allow only one deployment at a time; let an in-progress deploy finish
 concurrency:
   group: "pages"
   cancel-in-progress: false
 
 jobs:
   build:
     runs-on: ubuntu-latest
+    timeout-minutes: 15
     steps:
       - name: Checkout repository
-        uses: actions/checkout@v4.1.7
-        
+        uses: actions/checkout@v4
+
       - name: Set up Python
         uses: actions/setup-python@v5
         with:
-          python-version: '3.10'
-          
+          python-version: '3.12'
+          cache: 'pip'
+          cache-dependency-path: 'docs/requirements.txt'
+
       - name: Install dependencies
         run: |
           python -m pip install --upgrade pip
-          pip install sphinx myst-parser sphinx-rtd-theme
-          
+          pip install -r docs/requirements.txt
+
       - name: Build HTML documentation
-        run: |
-          # 1. Build the documentation
-          sphinx-build -b html docs/ docs/_build/html
+        run: sphinx-build -b html --keep-going docs/ docs/_build/html
 
-      - name: Mirror Structure for Images
+      - name: Mirror structure for images and publications
         run: |
-          # This step makes "../pica/assets" work without changing your manual.
-          # We create a folder structure inside the build output that matches 
-          # your relative paths.
-          
+          # The manual references images via "../pica/assets", so recreate
+          # that relative structure inside the build output.
           mkdir -p docs/_build/html/pica
           cp -r pica/assets docs/_build/html/pica/
-          
-          # Copy publications folder
-          cp -r publications/ docs/_build/html/publications/ || true
-          
-          # CRITICAL: Prevent GitHub from hiding folders starting with underscores
+
+          # Copy publications folder (paper PDF + landing page)
+          cp -r publications docs/_build/html/publications
+
+          # Prevent GitHub from hiding folders starting with underscores
           touch docs/_build/html/.nojekyll
-          
+
       - name: Upload GitHub Pages artifact
-        uses: actions/upload-pages-artifact@v3.0.1
+        uses: actions/upload-pages-artifact@v3
         with:
           path: 'docs/_build/html'
 
@@ -60,7 +69,8 @@ jobs:
       url: ${{ steps.deployment.outputs.page_url }}
     runs-on: ubuntu-latest
     needs: build
+    timeout-minutes: 10
     steps:
       - name: Deploy to GitHub Pages
         id: deployment
-        uses: actions/deploy-pages@v4.0.5
+        uses: actions/deploy-pages@v4

.github/workflows/draft-pdf.yml

@@ -1,5 +1,8 @@
 name: Draft PDF
-on: [push]
+
+# Disabled automatic runs for now; trigger manually from the Actions tab.
+on:
+  workflow_dispatch:
 
 jobs:
   paper: