diff options
| -rw-r--r-- | .github/workflows/build-pdf.yml | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/.github/workflows/build-pdf.yml b/.github/workflows/build-pdf.yml index 29554b5..afc57a1 100644 --- a/.github/workflows/build-pdf.yml +++ b/.github/workflows/build-pdf.yml @@ -2,14 +2,13 @@ name: build-pdf on: push: branches: - - master + - 'master' paths-ignore: - '**build-pdf.yml' workflow_dispatch: jobs: build: - if: github.event.pull_request.merged == true || github.event_name != 'pull_request' runs-on: ubuntu-latest steps: # Checks-out the master branch of this repository |