Skip to content

Conversation

@glesur
Copy link
Contributor

@glesur glesur commented Dec 20, 2024

Verify that the documentation can be generated successfully by RTD, following discussion in #302

@glesur glesur added doc label for documentation related things to be done project maintenance/infrastructure labels Dec 20, 2024
@glesur glesur requested a review from neutrinoceros December 20, 2024 15:49
no submodule (experimental)
@glesur glesur merged commit 2d2dcd0 into develop Dec 23, 2024
38 checks passed
@glesur glesur deleted the docCI branch December 23, 2024 12:07
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

doc label for documentation related things to be done project maintenance/infrastructure

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants