diff options
author | Sam Clegg <sbc@chromium.org> | 2020-04-24 14:22:13 -0400 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-04-24 11:22:13 -0700 |
commit | 8e7a5c2bd2e8f296d840cc1ab76b1712609e71d8 (patch) | |
tree | 93b42ac8bbf75fc3054b21e883f4fec25b015229 | |
parent | ed8fb551ab4f84e0ad3f4976fbb36a07b11f57a2 (diff) | |
download | binaryen-8e7a5c2bd2e8f296d840cc1ab76b1712609e71d8.tar.gz binaryen-8e7a5c2bd2e8f296d840cc1ab76b1712609e71d8.tar.bz2 binaryen-8e7a5c2bd2e8f296d840cc1ab76b1712609e71d8.zip |
CI: Trigger on pull_request (#2801)
-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: |