Use docs extras in docs workflow

Update the docs GitHub Actions workflow to install the package with the "docs" extras instead of the full "dev" extras. This ensures only documentation-related dependencies are installed for the MkDocs deploy step, keeping the CI environment leaner and faster.

Author: fswair

.github/workflows/docs.yml

@@ -25,7 +25,7 @@ jobs:
       - name: Install dependencies
         run: |
           uv venv
-          uv pip install -e ".[dev]"
+          uv pip install -e ".[docs]"
 
       - name: Deploy MkDocs
         run: |