-
Notifications
You must be signed in to change notification settings - Fork 17
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
limit sphinx version #317
limit sphinx version #317
Conversation
Yes, this fixes the doc build at least locally for me (sphinx 7.2.4 is fine, 7.2.5 breaks). There is no issue I could find, but sphinx-doc/sphinx#11645 is the underlying PR that causes the failure. |
5c20f90
to
8d69ab0
Compare
Left a comment. |
8d69ab0
to
4daa679
Compare
Co-authored-by: Andreas Klöckner <[email protected]>
Unrelated, but why does the documentation take over 1h to generate (almost as much as pylint!)? Is it just that |
Just the |
Never thought of looking at that, but yeah, you're completely right! Wow! |
Installing Mambaforge AFAIK only means that
Edit: Created a PR here: inducer/ci-support#26 |
Thanks! |
With inducer/ci-support#27, the documentation build went from 73 min to <5 min 👀 |
Much more environmentally friendly! Thanks for figuring this out! ❤️ |
No description provided.