diff options
| -rw-r--r-- | .github/workflows/ci.yml | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index eb321e9d2..319b08fad 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -1,8 +1,13 @@ name: CI -# Trigger on all branches, even before a PR is opened. on: + # If we run CI on all branches then we end up doing duplicate work for + # branches which are also PRs. push: + branches: + - master + - kripken/* + pull_request: jobs: |