From 55a041dffcb901d790933b440331cf4b9c8b0207 Mon Sep 17 00:00:00 2001
From: Dominik Jain <dominik.jain@oraios-ai.de>
Date: Sat, 8 Nov 2025 13:12:35 +0100
Subject: [PATCH] Clean up docs task

---
 .github/workflows/docs.yaml | 7 +++----
 1 file changed, 3 insertions(+), 4 deletions(-)

diff --git a/.github/workflows/docs.yaml b/.github/workflows/docs.yaml
index dacfd077..527c4bfa 100644
--- a/.github/workflows/docs.yaml
+++ b/.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: