Skip to content

Fix Sphinx build and add workflow for Sphinx website#149

Merged
prkrtg merged 1 commit into
mainfrom
pgupta/update_sphinx
Jun 17, 2026
Merged

Fix Sphinx build and add workflow for Sphinx website#149
prkrtg merged 1 commit into
mainfrom
pgupta/update_sphinx

Conversation

@prkrtg

@prkrtg prkrtg commented Jun 16, 2026

Copy link
Copy Markdown
Contributor

This addresses the Sphinx build pipeline for hispec.
Also includes updates to the index page, and moves build notes.

@prkrtg prkrtg requested a review from Kupaianaha June 16, 2026 22:59

@mikelangmayr mikelangmayr 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.

Looks good

@prkrtg prkrtg merged commit 12178be into main Jun 17, 2026
2 of 5 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.

2 participants