ekangmonyet 0fce98f6d2 Dockerized PDF deployment in GitHub Actions (#28) ... Add a new GitHub Action to build and release the PDF file after every push to master. Use texlive/texlive docker image for the sake of reproducibility in preparation for future build tools like make4ht . Progress #27 - Reproducible TeX build environment using Docker		2021-08-01 19:39:12 +08:00
..
generate_pdf.yml	Dockerized PDF deployment in GitHub Actions (#28)	2021-08-01 19:39:12 +08:00