Skip to content

Conversation

@codingjoe
Copy link
Owner

No description provided.

Copilot AI review requested due to automatic review settings December 17, 2025 19:14
@codingjoe codingjoe self-assigned this Dec 17, 2025
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

This PR temporarily modifies the release workflow to test GitHub Pages documentation deployment using mkdocs. The PyPI publishing jobs have been commented out while the docs build is being tested.

Key changes:

  • Adds a new deploy job that uses mkdocs gh-deploy to publish documentation to GitHub Pages
  • Adds permissions: contents: write at the workflow level to enable GitHub Pages deployment
  • Comments out the existing PyPI build and publish jobs for testing purposes

💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.

name: release-dists
path: dist/
- uses: pypa/gh-action-pypi-publish@release/v1
- uses: astral-sh/setup-uv@v7
Copy link

Copilot AI Dec 17, 2025

Choose a reason for hiding this comment

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

The deploy job should run the apt-get update and install gettext before running mkdocs, similar to the CI workflow's docs job and other jobs in ci.yml. The gettext package is required by the build-system as specified in pyproject.toml (flit-gettext), and the docs build may fail without it.

Copilot uses AI. Check for mistakes.
Co-authored-by: Copilot <175728472+Copilot@users.noreply.github.com>
Copilot AI review requested due to automatic review settings December 17, 2025 19:28
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 2 out of 2 changed files in this pull request and generated 1 comment.


💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.

@codingjoe codingjoe merged commit 3f95b38 into main Dec 17, 2025
26 checks passed
@codingjoe codingjoe deleted the docs branch December 17, 2025 19:32
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.

2 participants