From 8fe58a077942131e15821bfcc5cb84dc1b61d677 Mon Sep 17 00:00:00 2001 From: Peter Somogyvari Date: Fri, 8 Jan 2021 09:10:29 -0800 Subject: [PATCH] ci(github-workflows): launch CI on PR & push for all branches Before this change the only time the CI would get executed was when a pull request was submitted against the $DEFAULT branch. After this the CI will run for every commit and pull request that is issued against the any branches. The specific reason for this change is that we introduced a new branch called dev which can be used to provide early access to pending changes that may or may not be stuck in the review queue for longer periods of time. Of course there's an additional overhead in maintaining this dev branch by way of cherry picking and rebasing, but this is minor compared to the positive effects it can bring to the community. Fixes #434 Signed-off-by: Peter Somogyvari (cherry picked from commit c6d4e4127475f914b19356bf781073b4b02e0dfd) --- .github/workflows/ci.yml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index e9e8f4dc64..023e4d0b03 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -1,7 +1,7 @@ name: Cactus CI Github Workflow -# Triggers the workflow on pull request events -on: [pull_request] +# Triggers the workflow on push or pull request events +on: [push, pull_request] jobs: build: