-
Notifications
You must be signed in to change notification settings - Fork 8
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
Docs badge shows failing #121
Comments
I suggest we move to a self-build of documentation, rather than using readthedocs. It will ease shared administration and reduce points of failure (one less account to deal with) |
@aglavic is apparently an admin on the readthedocs page. But I agree with @bmaranville that it makes things easier to bring it into GitHub. For reference, the readthedocs seems to be breaking due to a detached HEAD in the git repo?
|
Ah, I wasn't aware the readthedocs thing was a separate service. I never even logged in to that website before. I'll look into the build and see if I can fix it. For future I agree to have it all here on GitHub. (Would appreciate a pull-request from someone who knows how to do that.) |
see #122 |
There seems to be a problem with biulding the documentation, although the data looks fine to me.
I don't have access to this repository settings, so I can't check the github pages configuration. @arm61 , can you have a look?
The text was updated successfully, but these errors were encountered: