-
Notifications
You must be signed in to change notification settings - Fork 9
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
Add docs deployment to ci #73
Conversation
Hi @JaGeo , you can merge this PR when making the repo public. I think it should work out without having to modify anything. |
Speed up deployment
@JaGeo , @QuantumChemist This is just a small update. It should also work fine with all recent changes in the main repo. I have tried to keep it up to date. So could be merged after its made public. Do not know if there would be some permissions needed to be changed as it is part of organization. |
Closes #33