🔧 Update deploy workflow

Author: veit

.github/workflows/pages.yaml

@@ -30,6 +30,7 @@ jobs:
     steps:
       - name: Checkout
         uses: actions/checkout@v4
+      - name: Install packages
       - name: Setup pandoc
         uses: pandoc/actions/setup@v1
       - name: Setup python
@@ -43,11 +44,11 @@ jobs:
         run: |
           uv venv
           echo "$PWD/.venv/bin" >> $GITHUB_PATH
-          uv pip install -e ".[docs]"
+          uv pip install --group=docs
       - name: Setup Pages
         uses: actions/configure-pages@v5
       - name: Build HTML
-        run: make html
+        run: uv run make html
         working-directory: docs/
       - name: Upload artifact
         uses: actions/upload-pages-artifact@v3