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

[NO-MERGE] Try fixing documentation #6557

Closed
wants to merge 1 commit into from

Conversation

PrimozGodec
Copy link
Contributor

@PrimozGodec PrimozGodec commented Aug 29, 2023

Issue

RTD started to complain that the theme was not defined in the config.

Description of changes

The theme is not defined in the main config but in configs for subprojects. This PR was just a trial if it is a problem.

Edit: After some research, I found out it should be already fixed: readthedocs/readthedocs.org#10662 and the release is today, so it should start working. So lets just wait and close when it starts to work.

Includes
  • Code changes
  • Tests
  • Documentation

@PrimozGodec PrimozGodec changed the title Try fixing documentation [NO-MERGE] Try fixing documentation Aug 29, 2023
@codecov
Copy link

codecov bot commented Aug 29, 2023

Codecov Report

Merging #6557 (3c84612) into master (0a9c762) will not change coverage.
The diff coverage is n/a.

Additional details and impacted files
@@           Coverage Diff           @@
##           master    #6557   +/-   ##
=======================================
  Coverage   87.78%   87.78%           
=======================================
  Files         321      321           
  Lines       69420    69420           
=======================================
  Hits        60938    60938           
  Misses       8482     8482           

@PrimozGodec
Copy link
Contributor Author

Documentation is building again so I am closing this PR.

@PrimozGodec PrimozGodec deleted the fix-build-the-docs branch August 30, 2023 06:30
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Builds failing with html_theme not set
1 participant