Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
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 <peter.somogyvari@accenture.com> (cherry picked from commit c6d4e41)
- Loading branch information