diff --git a/.github/workflows/pdf.yml b/.github/workflows/pdf.yml new file mode 100644 index 0000000..216678c --- /dev/null +++ b/.github/workflows/pdf.yml @@ -0,0 +1,19 @@ +name: Makefile CI + +on: + push: + branches: [ "main" ] + pull_request: + branches: [ "main" ] + +jobs: + build: + + runs-on: ubuntu-latest + + steps: + - uses: actions/checkout@v3 + - uses: xu-cheng/texlive-action/full@v1 + + - name: Make manual + run: make pdf