Skip to content

feat(docs): publish pages only after release, add dark mode and version banner - #8

Merged
neurolabs merged 1 commit into
mainfrom
feat/docs-rework
Aug 25, 2026
Merged

feat(docs): publish pages only after release, add dark mode and version banner#8
neurolabs merged 1 commit into
mainfrom
feat/docs-rework

Conversation

@neurolabs

Copy link
Copy Markdown
Member
  • Trigger docs publishing on release (published) instead of tag push, and rebuild from the released tag so the correct docs are always served.
  • Show the release/branch the docs were built from on the home page and in each page footer.
  • Add dark mode that follows the OS color-scheme preference by default with a sun/moon toggle in the header that overrides and persists the choice.
  • Link to the hosted GitHub Pages docs from the README Documentation section.
  • Ignore docs build artefacts via docs/.gitignore.

…on banner

- Trigger docs publishing on release (published) instead of tag push, and
  rebuild from the released tag so the correct docs are always served.
- Show the release/branch the docs were built from on the home page and in
  each page footer.
- Add dark mode that follows the OS color-scheme preference by default with
  a sun/moon toggle in the header that overrides and persists the choice.
- Link to the hosted GitHub Pages docs from the README Documentation section.
- Ignore docs build artefacts via docs/.gitignore.
@codecov

codecov Bot commented Aug 25, 2026

Copy link
Copy Markdown

Welcome to Codecov 🎉

Once you merge this PR into your default branch, you're all set! Codecov will compare coverage reports and display results in all future pull requests.

Thanks for integrating Codecov - We've got you covered ☂️

@neurolabs
neurolabs merged commit 05ea48e into main Aug 25, 2026
6 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant