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

fix: Avoid sphinx 7.0.0, since the readthedocs build fails with that #720

Merged
merged 1 commit into from
Jun 20, 2023

Conversation

mseeger
Copy link
Collaborator

@mseeger mseeger commented Jun 18, 2023

You could investigate more, but fact is our docs do not currently build on readthedocs, and downgrading sphinx to <7.0.0 solves that issue. This is what I found:

readthedocs/readthedocs.org#10279


By submitting this pull request, I confirm that you can use, modify, copy, and redistribute this contribution, under the terms of your choice.

@codecov
Copy link

codecov bot commented Jun 18, 2023

Codecov Report

Patch and project coverage have no change.

Comparison is base (c89054a) 65.14% compared to head (56e240d) 65.14%.

Additional details and impacted files
@@           Coverage Diff           @@
##             main     #720   +/-   ##
=======================================
  Coverage   65.14%   65.14%           
=======================================
  Files         427      427           
  Lines       28692    28692           
=======================================
  Hits        18690    18690           
  Misses      10002    10002           

☔ View full report in Codecov by Sentry.
📢 Do you have feedback about the report comment? Let us know in this issue.

Copy link
Collaborator

@wesk wesk left a comment

Choose a reason for hiding this comment

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

Thanks! Will keep an eye on readthedocs/sphinx_rtd_theme#1463

@mseeger mseeger merged commit a7ff863 into main Jun 20, 2023
31 checks passed
@mseeger mseeger deleted the restrict_sphinx branch June 20, 2023 08:14
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

2 participants