Skip to content

Files

Latest commit

a5590f3 · Oct 1, 2024

History

History

workflows

This repository uses GitHub Actions to build draft PDFs and comment on pull requests.

Several workflows are defined, using GitHub's recommended two-part approach to separate building the PDFs (which runs in the PR branch's context and has only a read-only GH token) from commenting on the PR (which runs on the master branch and has write access to the repository).

  • pr-pdf.yaml runs on *.tex-modifying pull requests, and runs LaTeX using the texlive action defined in this repository.
  • pr-comment.yaml runs on completion of pr-pdf.yaml, and comments on the PR.
  • pr-pdfs-close.yaml runs when a PR is merged or closed, and removes the Git reference to the draft PDF commits so they will eventually be garbage-collected.