summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorSam Clegg <sbc@chromium.org>2020-04-24 14:22:13 -0400
committerGitHub <noreply@github.com>2020-04-24 11:22:13 -0700
commit8e7a5c2bd2e8f296d840cc1ab76b1712609e71d8 (patch)
tree93b42ac8bbf75fc3054b21e883f4fec25b015229
parented8fb551ab4f84e0ad3f4976fbb36a07b11f57a2 (diff)
downloadbinaryen-8e7a5c2bd2e8f296d840cc1ab76b1712609e71d8.tar.gz
binaryen-8e7a5c2bd2e8f296d840cc1ab76b1712609e71d8.tar.bz2
binaryen-8e7a5c2bd2e8f296d840cc1ab76b1712609e71d8.zip
CI: Trigger on pull_request (#2801)
-rw-r--r--.github/workflows/ci.yml7
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: