diff options
| -rw-r--r-- | .github/workflows/build-pdf.yml | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/.github/workflows/build-pdf.yml b/.github/workflows/build-pdf.yml index 29554b5..fd71b4b 100644 --- a/.github/workflows/build-pdf.yml +++ b/.github/workflows/build-pdf.yml @@ -2,14 +2,11 @@ name: build-pdf on: push: branches: - - master - paths-ignore: - - '**build-pdf.yml' + - 'master' 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 |