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

downgrade sphinx version #1616

Merged
merged 2 commits into from
Aug 12, 2024
Merged

downgrade sphinx version #1616

merged 2 commits into from
Aug 12, 2024

Conversation

mtar
Copy link
Collaborator

@mtar mtar commented Aug 12, 2024

Description

This fix downgrades the sphinx version back because sphinx_rtd_theme is not compatible with sphinx >= 8

Changes proposed:

  • set sphinx back to 7.4.7

Type of change

Documentation / Fix

sphinx_rtd_theme is not compatible with sphinx 8
@mtar mtar added documentation Anything related to documentation chore labels Aug 12, 2024
Copy link
Collaborator

@mrfh92 mrfh92 left a comment

Choose a reason for hiding this comment

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

approve to let CI run

@mtar mtar merged commit 481a983 into main Aug 12, 2024
5 checks passed
@mtar mtar deleted the doc/downgrade-sphinx branch August 12, 2024 13:38
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
chore documentation Anything related to documentation
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants