Commit Graph

3 Commits

Author SHA1 Message Date
Jerry Wang
937acfa0d7 Publish GitHub Page with GitHub Action
Add a new Github Action to publish to the GitHub page. Use twtug/lkmpg
image for reproducibility.

Ref:
- sysprog21#27
- https://github.com/TeXtw/docker-lkmpg
2021-08-02 06:22:29 +01:00
Ekang Monyet
7ee66c559f Delete existing release asset before releasing
Use mknejp/delete-release-assets to delete existing asset.
This approach might not be optimal if softprops/action-gh-release
supports upserting [1].

[1] https://github.com/softprops/action-gh-release/pull/134
2021-08-01 21:05:47 +08:00
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