Skip to content

Added gh workflow for building sphinx documentation on each PR update#356

Merged
vanmeerkerk merged 11 commits into
mainfrom
sphinx-gh-workflow
Jun 25, 2026
Merged

Added gh workflow for building sphinx documentation on each PR update#356
vanmeerkerk merged 11 commits into
mainfrom
sphinx-gh-workflow

Conversation

@MichielTukker

Copy link
Copy Markdown
Contributor

No description provided.

@MichielTukker MichielTukker added the documentation Improvements or additions to documentation label Jun 25, 2026

Copilot AI left a comment

Copy link
Copy Markdown
Contributor

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 adds a GitHub Actions workflow intended to build (and potentially publish) Sphinx documentation when a pull request is updated.

Changes:

  • Introduces a new .github/workflows/documentation.yml workflow to render Sphinx HTML docs.
  • Uploads the rendered HTML as a workflow artifact (and includes a gh-pages deploy step).

Comment thread .github/workflows/documentation.yml Outdated

@vanmeerkerk vanmeerkerk left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

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

Besproken

@vanmeerkerk vanmeerkerk merged commit 92277d4 into main Jun 25, 2026
9 checks passed
@vanmeerkerk vanmeerkerk deleted the sphinx-gh-workflow branch June 25, 2026 13:24
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

documentation Improvements or additions to documentation

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants