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

readthedocs build failing #798

Closed
jdkent opened this issue May 3, 2023 · 0 comments · Fixed by #797
Closed

readthedocs build failing #798

jdkent opened this issue May 3, 2023 · 0 comments · Fixed by #797

Comments

@jdkent
Copy link
Member

jdkent commented May 3, 2023

          looks like this is being fixed on the readthedocs side: readthedocs/readthedocs.org#10287, so not something we need to likely fix.

Originally posted by @jdkent in #797 (comment)

Keeping track of this as an issue instead of a pull request since we likely do not need to make any changes.

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 a pull request may close this issue.

1 participant