fix: docs deployment

[FBumann]

Summary by CodeRabbit

• Chores
  • Integrated documentation building and deployment into the release workflow, ensuring documentation is automatically published to GitHub Pages when new releases are created.

_{✏️ Tip: You can customize this high-level summary in your review settings.}

[coderabbitai]

Caution

Review failed

The pull request is closed.

📝 Walkthrough

Walkthrough

This change relocates documentation deployment from the docs workflow to the release workflow. The docs workflow no longer triggers on GitHub releases or deploys to GitHub Pages, retaining only pull request builds. Documentation deployment now occurs as part of the release workflow.

Changes

Cohort / File(s)	Summary
Docs workflow removal .github/workflows/docs.yml	Removed release-triggered event, permissions block (contents: write), and GitHub Pages deployment step. Workflow now builds docs only for pull requests.
Release workflow enhancement .github/workflows/release.yml	Added three sequential steps: install docs dependencies via uv sync --extra docs, build docs via uv run mkdocs build, and deploy site to GitHub Pages using peaceiris/actions-gh-pages.

Estimated code review effort

🎯 2 (Simple) | ⏱️ ~10 minutes

Possibly related PRs

• ci: only release on successfull ci #12: Modifies GitHub Pages deployment and docs CI/workflow configuration similarly by relocating deployment logic.

Poem

🐰 Docs once danced when releases appeared,
Now they deploy when new builds are geared,
From workflows split to one unified flow,
The Pages now know just when to go! ✨

---

Thanks for using CodeRabbit! It's free for OSS, and your support helps us grow. If you like it, consider giving us a shout-out.

❤️ Share

• X
• Mastodon
• Reddit
• LinkedIn

_{Comment @coderabbitai help to get the list of available commands and usage tips.}