Skip to content

Fix docs#12

Merged
christofgehrig merged 3 commits into
sciai-lab:mainfrom
christofgehrig:fix-docs
Dec 15, 2025
Merged

Fix docs#12
christofgehrig merged 3 commits into
sciai-lab:mainfrom
christofgehrig:fix-docs

Conversation

@christofgehrig

Copy link
Copy Markdown
Member

What does this PR do?

Fixes docs by updating the rtd theme. Also build docs in PRs (without deploy) to notice these bugs in the future.

Before submitting

  • Did you make sure your PR does only one thing, instead of bundling different changes together?
  • Did you list all the breaking changes introduced by this pull request?
  • Did you test your PR locally with pytest command?
  • Did you run pre-commit hooks with pre-commit run -a command?

@marcickler marcickler left a comment

Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

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

who let the docs (go) out?

@christofgehrig christofgehrig merged commit 89e81bf into sciai-lab:main Dec 15, 2025
4 checks passed
@christofgehrig christofgehrig deleted the fix-docs branch December 15, 2025 15:26
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