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 new RTD build failures #1466

Merged

Conversation

brandonwillard
Copy link
Member

@brandonwillard brandonwillard commented Mar 7, 2023

This PR attempts to fix recent RTD build failures.

Locally, it looks like the deprecated HTML4 conversion option is causing an issue with HTML generation of tables.

Closes #1462

@brandonwillard brandonwillard added bug Something isn't working documentation Improvements or additions to documentation labels Mar 7, 2023
@brandonwillard brandonwillard enabled auto-merge (rebase) March 8, 2023 00:29
@brandonwillard brandonwillard disabled auto-merge March 8, 2023 00:33
@brandonwillard brandonwillard merged commit 78253b8 into aesara-devs:main Mar 8, 2023
@brandonwillard brandonwillard deleted the fix-misc-docs-issues branch March 8, 2023 00:33
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
bug Something isn't working documentation Improvements or additions to documentation
Projects
None yet
Development

Successfully merging this pull request may close these issues.

RTD build failure
1 participant