Skip to content

MAINT: fix RTD#107

Merged
mmcky merged 1 commit into
mainfrom
fix-rtd
Jul 3, 2024
Merged

MAINT: fix RTD#107
mmcky merged 1 commit into
mainfrom
fix-rtd

Conversation

@mmcky

@mmcky mmcky commented Jul 3, 2024

Copy link
Copy Markdown
Member

This PR updates the .readthedocs.yml configuration to fix builds on rtd

@mmcky

mmcky commented Jul 3, 2024

Copy link
Copy Markdown
Member Author

@agoose77 this is a minor configuration change to fix https://readthedocs.org/projects/sphinx-proof/.

I will go ahead and merge.

@mmcky
mmcky merged commit 761a106 into main Jul 3, 2024
@mmcky
mmcky deleted the fix-rtd branch July 3, 2024 02:49
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.

1 participant