Fix docs deploy dependency setup

[Copilot]

The Deploy Documentation job failed because uv run --locked --no-sync mike ... was invoked after syncing only dev dependencies, leaving the mike CLI unavailable.

• Docs dependencies

  • Added a dedicated docs dependency group for mike and the MkDocs plugins used by mkdocs.yml.
  • Updated uv.lock so the deploy job remains locked and reproducible.

• Deploy workflow

  • Updated the docs workflow dependency sync to install both dev and docs groups before deployment.

uv sync --frozen --no-default-groups --group dev --group docs

[Copilot]

Pull request overview

This PR fixes the documentation deployment workflow by ensuring the mike CLI and MkDocs-related plugins are installed via a dedicated docs dependency group and syncing that group in the deploy job, keeping the workflow locked and reproducible.

Changes:

• Added a docs dependency group in pyproject.toml for mike and the MkDocs plugins used by mkdocs.yml.
• Updated the docs GitHub Actions workflow to uv sync both dev and docs groups before running mike.
• Updated uv.lock to include the new docs dependency group and its resolved packages.

Reviewed changes

Copilot reviewed 2 out of 3 changed files in this pull request and generated no comments.

File	Description
uv.lock	Adds a docs group and locks the additional docs tooling dependencies.
pyproject.toml	Defines the new docs dependency group for documentation build/deploy tooling.
.github/workflows/docs.yml	Syncs both dev and docs groups so uv run ... mike ... can execute during deploy.

---

💡 Add a code-review agent skill or configure MCP servers for context-aware, tailored reviews. Learn more in the docs.