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

bump sphinx for readthedocs builder compatibility #431

Merged
merged 1 commit into from
Dec 21, 2023

Conversation

elikoga
Copy link
Member

@elikoga elikoga commented Dec 21, 2023

Since sphinx-doc/sphinx#9562 makes our readthedocs build fail

@elikoga elikoga requested a review from ctheune as a code owner December 21, 2023 00:23
@elikoga elikoga force-pushed the bump-sphinx-for-readthedocs branch from 996419b to e723ae1 Compare December 21, 2023 00:26
@ctheune ctheune merged commit dd66279 into main Dec 21, 2023
11 checks passed
@ctheune ctheune deleted the bump-sphinx-for-readthedocs branch December 21, 2023 07:21
ctheune added a commit that referenced this pull request Jan 30, 2024
bump sphinx for readthedocs builder compatibility
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