From 94dc7380aff5caa804dbc8d05590d2e41ae75e54 Mon Sep 17 00:00:00 2001 From: David Gardner Date: Tue, 19 Dec 2023 08:22:23 -0800 Subject: [PATCH] Add a comment --- .github/workflows/pull_request.yml | 2 ++ 1 file changed, 2 insertions(+) diff --git a/.github/workflows/pull_request.yml b/.github/workflows/pull_request.yml index c0c47224b4..511ac282a2 100644 --- a/.github/workflows/pull_request.yml +++ b/.github/workflows/pull_request.yml @@ -59,6 +59,8 @@ jobs: name: CI Pipeline needs: [prepare] uses: ./.github/workflows/ci_pipe.yml + + # Only run the CI pipeline if the PR does not have the skip-ci label if: ${{ ! fromJSON(needs.prepare.outputs.has_skip_ci_label) }} with: run_check: ${{ startsWith(github.ref_name, 'pull-request/') }}