I'm wondering how I can get my server to automatically build a LaTeX project when I push to github. As it stands, I normally build the project locally, push to github, and then manually copy the PDF onto the server and move it into the correct spot. That said I'd really love a way to do this without the manual portion of copying onto the server. I don't normally include PDF's in my git repo.
I used to have Jenkins installed on the server and set it up with github so it would build the project when I pushed, but that feels like overkill for just building LaTeX projects where I really only need to run latexmk.
I've done some searching online and found
- Post-commit service hook for GitHub repository containing LaTeX?
- Setting up your own LaTeX compile server?
- https://github.com/xu-cheng/latex-action
I've also found the idea that I could setup two remotes for my git repo and push to both github and my server at the same time, and have a post-recieve action set up through git. None of these feel particularly elegant, and hence I'm asking here to see if anyone else has other ideas.