Closed rgommers closed 8 months ago
@rgommers I don't have a way to check that this does the right thing, thus please merge it when you are happy.
I think that using readthedocs does not buy us anything and having the docs built on another platform is more trouble, thus I would be happy to migrate to Github Pages for hosting the documentation.
I think that using readthedocs does not buy us anything and having the docs built on another platform is more trouble, thus I would be happy to migrate to Github Pages for hosting the documentation.
Let's discuss on gh-522? Happy to consider it of course.
I don't have a way to check that this does the right thing, thus please merge it when you are happy
We used to have a CI job for this, but it's no longer running. Not sure why, probably the webhook needs an update. I'll wait with that until we resolve gh-522.
This passes says the RTD interface, so I'll merge it.
The problem was that they migrated to a new yaml version, plus that notifications on build failures in the RTD UI was not enabled for anyone.
Closes gh-522