Skip to content

Docs pages deploy#1

Open
cybertec-adrian wants to merge 2 commits into
mainfrom
docs-pages-deploy
Open

Docs pages deploy#1
cybertec-adrian wants to merge 2 commits into
mainfrom
docs-pages-deploy

Conversation

@cybertec-adrian

@cybertec-adrian cybertec-adrian commented Jun 19, 2026

Copy link
Copy Markdown

Summary

The docs workflow built and validated the site (strict mkdocs + linkcheck) but never published it. This adds a deploy job that publishes the rendered site/ to GitHub Pages so the docs serve at the canonical domain docs.pghardstorage.org (docs/CNAME + site_url were already in place). The deploy job is gated to push-on-main, so PRs — including from forks — only build and preview, never publish.

Type

  • Bug fix
  • New feature
  • Refactor (no behaviour change)
  • Documentation
  • Test infrastructure
  • Packaging / release

Tests

  • make check passes locally (vet + race tests)
  • New tests added for the changed behaviour, or there's a clear reason none exist
  • Integration tests pass (make test-integration) where touched

Compatibility

  • No on-disk manifest schema changes (or: schema bumped + 24-month back-read preserved)
  • No CLI / API contract changes (or: documented + bumped)
  • No new external dependencies (or: justified in the description)

Checklist

  • Maintainer-attribution authoring (Author: Hans-Jürgen Schönig <hs@cybertec.at>)
  • No AI-attribution lines anywhere
  • CHANGELOG.md updated under the unreleased section
  • Comments explain WHY (not WHAT) where the code isn't self-evident

Adds a push-on-main-gated deploy job (upload-pages-artifact +
deploy-pages) so the site serves at docs.pghardstorage.org. PRs still
only build + preview. Needs Pages source = GitHub Actions in settings.
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