Avoid running CI jobs on both push and pull_request events. #704
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
When pushing changes to a branch, CI would run double the jobs (one set of CI jobs for the branch push event, and another set of jobs for the
pull_request
event).This change tweaks the CI hooks to only run for pull requests targeting
master
and branches namedmaster
(also allowv*
style release branches, just in case we wanted them in the future).Compare #703's (90 CI jobs) CI runs vs #694's (41 CI jobs).