diff options
author | Martin Nordholts <enselic@gmail.com> | 2021-02-21 11:49:34 +0100 |
---|---|---|
committer | David Peter <sharkdp@users.noreply.github.com> | 2021-02-22 21:45:52 +0100 |
commit | 0371f55541292ec6f27f95729aa1d319973800f0 (patch) | |
tree | 3913e85ea53440cbd60373289444b4a2dc07c0ef | |
parent | bc35592fd95cab1f622bb3d59303ad46b3ad4fbf (diff) |
CICD: Don't run jobs twice in PRs
Without this change, creating a PR triggers all jobs to run twice. Once
due to a push event and once due to a pull_request event.
Change to only trigger jobs due to push when pushing a tag or to the
master branch, to avoid duplicate jobs for each PR.
-rw-r--r-- | .github/workflows/CICD.yml | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/.github/workflows/CICD.yml b/.github/workflows/CICD.yml index 17318f54..eb4bdbf9 100644 --- a/.github/workflows/CICD.yml +++ b/.github/workflows/CICD.yml @@ -4,7 +4,13 @@ env: MIN_SUPPORTED_RUST_VERSION: "1.42.0" CICD_INTERMEDIATES_DIR: "_cicd-intermediates" -on: [push, pull_request] +on: + pull_request: + push: + branches: + - master + tags: + - '*' jobs: min_version: |