Basically what’s in the title: I’m working on a library and I would like to have a GitHub Actions workflow build the docs for my library and push them to a GitHub Pages website.
I’ve looked at some other repos and couldn’t find anything of the like. Is there an existing Action I’m not aware of? Is there another workflow I don’t know?
I setup a demo repo where my students send homework in OCaml. The compilation of documentation happens in one action, but upload requires specific rights, so it happens in another action. Because of that, I think that it doesn’t worth creating a single action which will build documentation and upload it instantly.