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

Pin sphinx !=6.1.3 (avoid non-functional Search utility on readthedocs) #3142

Closed
wants to merge 13 commits into from

Conversation

valeriupredoi
Copy link
Contributor

@valeriupredoi valeriupredoi commented Mar 29, 2023

Description

@ehogan and @remi-kazeroni have noticed that the Search utility on our documentation page became non functional at some point ie it kept doing nothing while it said "Searching..."

After a few trials in the environment it proves out that sphinx_rtd_theme=1.2.0 is not a big fan of sphinx=6.1.3 - the Search is a problem arising from having these two in the environment; there may be other problems that we don't know of. sphinx=5 and any sphinx_rtd_theme (1.1.1 or 1.2.0) all give us a functional Search utility, so I pinned sphinx to restrictive; mamba on RTD decides to grab 5.0 even though there are other newer versions; documentation builds well and is searchable https://esmvaltool--3142.org.readthedocs.build/en/3142/


Before you get started

Checklist

It is the responsibility of the author to make sure the pull request is ready to review. The icons indicate whether the item will be subject to the 🛠 Technical or 🧪 Scientific review.

@valeriupredoi
Copy link
Contributor Author

OK tests have completely vanished off the PR page - GH going through puberty again ffs 🤦‍♂️

@valeriupredoi valeriupredoi changed the title Pin sphinx_rtd_theme Pin sphinx !=6.1.3 (avoid non-functional Search utility on readthedocs) Mar 29, 2023
@bouweandela
Copy link
Member

Thanks for looking into this @valeriupredoi! Did you report the issue with the rtd theme om their issue tracker?

@valeriupredoi
Copy link
Contributor Author

indeed I did @bouweandela - see here readthedocs/sphinx_rtd_theme#1451 - gotta get back to the dev who's replied to me last night tho

@valeriupredoi
Copy link
Contributor Author

am testing a different solution/workaround - so please don't review/merge this one just yet 👍

@valeriupredoi
Copy link
Contributor Author

superseded with a more solid workaround by #3144

@valeriupredoi valeriupredoi deleted the pin_sphinx_rtd_theme branch March 30, 2023 12:10
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Issue with latest documentation build?
2 participants