Skip to content

Conversation

mgeier
Copy link
Contributor

@mgeier mgeier commented Aug 5, 2020

BTW: you should enable this: https://docs.readthedocs.io/en/stable/guides/autobuild-docs-for-pull-requests.html

Then we could see if this actually works.

@mgeier
Copy link
Contributor Author

mgeier commented Aug 5, 2020

This becomes obsolete if and when #90 is merged.

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