Skip to content

Conversation

@shahzebsiddiqui
Copy link
Member

This PR will ensure we get docs generated when there are warning messages like the one in #1607

@shahzebsiddiqui shahzebsiddiqui merged commit e675dd3 into devel Aug 30, 2023
@shahzebsiddiqui shahzebsiddiqui deleted the ignore_warning_readthedocs branch August 30, 2023 17:16
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.

2 participants