From d60487ee5ee5d01604a36d38a1c784deef8a7de7 Mon Sep 17 00:00:00 2001 From: Francesco Novy Date: Wed, 1 Feb 2023 11:32:13 +0000 Subject: [PATCH] ci: Skip CI when syncing develop<>master --- .github/workflows/build.yml | 9 ++++++++- 1 file changed, 8 insertions(+), 1 deletion(-) diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml index 419b77ce086d..a05a3b4b1ab9 100644 --- a/.github/workflows/build.yml +++ b/.github/workflows/build.yml @@ -3,6 +3,7 @@ on: push: branches: - develop + - master - release/** pull_request: workflow_dispatch: @@ -136,6 +137,10 @@ jobs: # Note: These next three have to be checked as strings ('true'/'false')! is_develop: ${{ github.ref == 'refs/heads/develop' }} is_release: ${{ startsWith(github.ref, 'refs/heads/release/') }} + is_gitflow_sync: | + github.event_name == 'pull_request' && + (github.head_ref == 'refs/heads/develop' || github.head_ref == 'refs/heads/master') && + contains(steps.pr-labels.outputs.labels, ' Dev: Gitflow ') force_skip_cache: ${{ github.event_name == 'pull_request' && contains(steps.pr-labels.outputs.labels, ' ci-skip-cache ') }} @@ -144,7 +149,9 @@ jobs: needs: job_get_metadata runs-on: ubuntu-20.04 timeout-minutes: 15 - if: needs.job_get_metadata.outputs.changed_any_code == 'true' || github.event_name != 'pull_request' + if: | + needs.job_get_metadata.outputs.is_gitflow_sync == 'false' && + (needs.job_get_metadata.outputs.changed_any_code == 'true' || github.event_name != 'pull_request') steps: - name: 'Check out current commit (${{ needs.job_get_metadata.outputs.commit_label }})' uses: actions/checkout@v3