Skip to content

Fix docs build in CI#23

Closed
philipnickel wants to merge 8 commits intomasterfrom
fix/docs-build-pythonpath
Closed

Fix docs build in CI#23
philipnickel wants to merge 8 commits intomasterfrom
fix/docs-build-pythonpath

Conversation

@philipnickel
Copy link
Copy Markdown
Contributor

Summary

  • Run sphinx-build directly instead of through main.py --docs wrapper to fix CI build
  • Add sys.exit(1) in main.py when docs build fails for proper local error handling

Test plan

  • CI docs build passes
  • Local main.py --docs still works

🤖 Generated with Claude Code

@philipnickel philipnickel deleted the fix/docs-build-pythonpath branch November 28, 2025 16:45
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