From 1e41b68d713a6eeb216d80b50ed84d9d8da7df71 Mon Sep 17 00:00:00 2001 From: Bart Date: Fri, 17 Oct 2025 13:13:30 -0400 Subject: [PATCH] Apply suggestion from @ximinez Co-authored-by: Ed Hennis --- .github/workflows/on-pr.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/on-pr.yml b/.github/workflows/on-pr.yml index a714554d59..d498d901c4 100644 --- a/.github/workflows/on-pr.yml +++ b/.github/workflows/on-pr.yml @@ -26,7 +26,7 @@ defaults: jobs: # This job determines whether the rest of the workflow should run. It runs # when the PR is not a draft (which should also cover merge-group) or - # has the 'DraftRunCI' or 'SkipRunCI' labels. + # has the 'DraftRunCI' label and does NOT have the 'SkipRunCI' label. should-run: if: ${{ !github.event.pull_request.draft || contains(github.event.pull_request.labels.*.name, 'DraftRunCI') || contains(github.event.pull_request.labels.*.name, 'SkipRunCI') }} runs-on: ubuntu-latest