Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

build: Manually pull some RTD Context. #96

Merged
merged 1 commit into from
Oct 1, 2024
Merged

Conversation

feanil
Copy link
Contributor

@feanil feanil commented Sep 25, 2024

See https://about.readthedocs.com/blog/2024/07/addons-by-default/ for details but
essentially RTD is changing how it's building docs and this will let us handle the
change gracefully.

See https://about.readthedocs.com/blog/2024/07/addons-by-default/ for details but
essentially RTD is changing how it's building docs and this will let us handle the
change gracefully.
@feanil feanil force-pushed the feanil/update_rtd_config branch from e553e93 to 5807190 Compare September 25, 2024 17:05
@feanil feanil requested a review from MaferMazu September 25, 2024 17:06
Copy link
Member

@felipemontoya felipemontoya left a comment

Choose a reason for hiding this comment

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

This worked fine in other repos where the change was brought about.

@feanil feanil merged commit c2ee0d5 into main Oct 1, 2024
6 checks passed
@feanil feanil deleted the feanil/update_rtd_config branch October 1, 2024 13:43
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