fix: docs deployment (#19)

Author: FBumann

.github/workflows/docs.yml

@@ -3,11 +3,6 @@ name: Docs
 on:
   pull_request:
     branches: [main]
-  release:
-    types: [published]
-
-permissions:
-  contents: write
 
 jobs:
   docs:
@@ -24,10 +19,3 @@ jobs:
 
       - name: Build docs
         run: uv run mkdocs build
-
-      - name: Deploy to GitHub Pages
-        if: github.event_name == 'release'
-        uses: peaceiris/actions-gh-pages@v4
-        with:
-          github_token: ${{ secrets.GITHUB_TOKEN }}
-          publish_dir: ./site

.github/workflows/release.yml

@@ -29,3 +29,15 @@ jobs:
         with:
           generate_release_notes: true
           files: dist/*
+
+      - name: Install docs dependencies
+        run: uv sync --extra docs
+
+      - name: Build docs
+        run: uv run mkdocs build
+
+      - name: Deploy to GitHub Pages
+        uses: peaceiris/actions-gh-pages@v4
+        with:
+          github_token: ${{ secrets.GITHUB_TOKEN }}
+          publish_dir: ./site