Skip to content

Build the documentation on Read the Docs - #25

Merged
ru551n merged 2 commits into
VUnit:mainfrom
ru551n:ci/docs
Oct 14, 2026
Merged

ru551n merged 2 commits into
VUnit:mainfrom
ru551n:ci/docs

Conversation

@ru551n

@ru551n ru551n commented Oct 14, 2026 •

Copy link
Copy Markdown
Collaborator

Adds a Read the Docs configuration and a docs workflow that builds the documentation in CI.

  • .readthedocs.yaml: Read the Docs builds docs/ with Sphinx on Ubuntu 24.04 and Python 3.13, with warnings as errors.
  • .github/workflows/docs.yml:
    • builds the docs the same way, with -W, on every push and pull request, and uploads the HTML as the docs-html artifact, so a broken cross-reference fails the PR instead of the Read the Docs build,
    • on a push to main, a second job triggers the Read the Docs build of latest through the API, with the READTHEDOCS_TOKEN secret.
  • docs/requirements.txt: pins Sphinx 9.1.0 for both, like ruff is pinned in the lint workflow.

The restyled documentation, the VHDL API reference and the release builds were pushed after this PR was merged and continue in #27.

Tests

The docs build with Sphinx 9.1.0 and -W without warnings locally.

🤖 Generated with Claude Code

ru551n and others added 2 commits October 14, 2026 10:29
.readthedocs.yaml builds docs/ with Sphinx on Read the Docs, with warnings as errors. A
docs workflow does the same build on every push and pull request and keeps the HTML as
an artifact. Sphinx is pinned in docs/requirements.txt, which both use.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_017otfceeeQ9FrS2sXbyLou2
Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_017otfceeeQ9FrS2sXbyLou2
@ru551n
ru551n merged commit e25bd1d into VUnit:main Oct 14, 2026
28 checks passed
@ru551n ru551n changed the title Build the documentation on Read the Docs Publish the documentation on Read the Docs, restyled with an API reference Oct 14, 2026
@ru551n ru551n changed the title Publish the documentation on Read the Docs, restyled with an API reference Build the documentation on Read the Docs Oct 14, 2026
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