diff options
| -rw-r--r-- | .github/workflows/build-pdf.yml | 16 |
1 files changed, 4 insertions, 12 deletions
diff --git a/.github/workflows/build-pdf.yml b/.github/workflows/build-pdf.yml index 08149eb..29554b5 100644 --- a/.github/workflows/build-pdf.yml +++ b/.github/workflows/build-pdf.yml @@ -5,13 +5,6 @@ on: - master paths-ignore: - '**build-pdf.yml' - pull_request: - branches: - - master - types: - - closed - paths-ignore: - - '**build-pdf.yml' workflow_dispatch: jobs: @@ -24,13 +17,13 @@ jobs: with: ref: master path: master - + # Checks-out the gh-pages branch of this repository - uses: actions/checkout@v3 with: ref: gh-pages path: gh-pages - + # Build vc.tex - name: build-vc run: | @@ -42,7 +35,7 @@ jobs: \\gdef\\GITAuthorDate{%ad}\ \\gdef\\GITAuthorName{%an}" >> vc.tex working-directory: master - + # Build mmbtools.pdf - name: build-pdf uses: xu-cheng/latex-action@v2 @@ -59,10 +52,9 @@ jobs: git add -f mmbtools.pdf git commit -m "generated" working-directory: gh-pages - + - name: push-pdf uses: ad-m/github-push-action@master with: directory: gh-pages branch: gh-pages - |