Skip to content

docs deployment action workflow#530

Merged
jorenham merged 4 commits intomasterfrom
deploy-docs
Feb 14, 2026
Merged

docs deployment action workflow#530
jorenham merged 4 commits intomasterfrom
deploy-docs

Conversation

@jorenham
Copy link
Owner

No description provided.

Copy link
Contributor

Copilot AI left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Pull request overview

Adds a GitHub Actions workflow to build the documentation site and deploy it to GitHub Pages when docs-related files change.

Changes:

  • Introduces .github/workflows/docs.yml for building docs via uv + zensical.
  • Uploads the generated site/ directory as a Pages artifact and deploys it via actions/deploy-pages.

Copy link
Contributor

Copilot AI left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Pull request overview

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

Copy link
Contributor

Copilot AI left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Pull request overview

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

@jorenham jorenham merged commit f669e68 into master Feb 14, 2026
38 checks passed
@jorenham jorenham deleted the deploy-docs branch February 14, 2026 20:24
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants