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 to 5.3.0 to fix docs search #3457

merged 2 commits into from Jan 1, 2023


Copy link

@harshil21 harshil21 commented Jan 1, 2023

The docs search stopped working when we upgraded to sphinx 6.0.0, so let's downgrade back to 5.3.0 for now.

Reverts #3450.

Doc build up at: you can check as well

@Bibo-Joshi Bibo-Joshi merged commit 3e7ab7e into master Jan 1, 2023
@Bibo-Joshi Bibo-Joshi deleted the doc-downgrade-sphinx branch January 1, 2023 14:48
@harshil21 harshil21 added this to the v20.0 milestone Jan 2, 2023
@github-actions github-actions bot locked and limited conversation to collaborators Jan 9, 2023
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
None yet

Successfully merging this pull request may close these issues.

None yet

2 participants