chop
chop copied to clipboard
Draft PR for github action
This is nice, thanks a lot @ThomVett!
Do you think you can check out #55 for more github action fun? It seems like public repos have unlimited gitub action time, so it would be great if we could build the docs there directly.
that would indeed be awesome!
Right now, the docs are built with sphinx
by running make html
from within the doc
folder. Then running make upload
uploads it to our server and refreshes the website.
Hopefully it should be easy to integrate in the Action?
@fabianp I don't have the permissions to access the secret keys to set up the github action for uploading to our server. Could you please add the two secrets required in https://github.com/google-github-actions/setup-gcloud ? I think we need a new service account; the process is described here
EDIT: Added keys