-
Notifications
You must be signed in to change notification settings - Fork 71
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Attempt to fix the read-the-docs build
Seems like RTD by default installs a very old version of their theme, which depends on an old version of Jinja2 for the HTML template. However, Pynguin relies on the latest version of Jinja2 for its HTML coverage report. This causes the installation of the latest Jinja2 version but an old RDT theme version when building the documentation on RTD. By now pinning the RTD theme version to its latest and setting it as the default theme, we attempt to mitigate the issue and make the build work again.
- Loading branch information
1 parent
cc08325
commit 19e4102
Showing
4 changed files
with
101 additions
and
71 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Oops, something went wrong.