Clean up docs task

.github/workflows/docs.yaml

@@ -4,7 +4,6 @@ on:
   push:
     # TODO change branch to main once docs is merged
     branches: [ docs ]
-  # Manual trigger, as you have — you can also add "push" later if desired
   workflow_dispatch:
 
 permissions:
@@ -19,11 +18,11 @@ concurrency:
 jobs:
   build:
     runs-on: ubuntu-latest
-    timeout-minutes: 10  # give yourself more headroom for builds
+    timeout-minutes: 10
 
     steps:
       - name: Checkout
-        uses: actions/checkout@v4  # use latest v4 instead of v3
+        uses: actions/checkout@v4
 
       - name: Set up Python
         uses: actions/setup-python@v5
@@ -51,7 +50,7 @@ jobs:
       - name: Upload Pages artifact
         uses: actions/upload-pages-artifact@v3
         with:
-          path: docs/_build  # ✅ confirm this is your static HTML output directory
+          path: docs/_build
 
   deploy:
     environment: