From 303b21ad9d9ade79406686764218939243c52c72 Mon Sep 17 00:00:00 2001 From: Nitish Bhat Date: Mon, 22 Jun 2026 17:30:17 +0000 Subject: [PATCH 1/3] ci: gate PR build workflow on CI-Run label Require the CI-Run label to be present on a pull request before the build job runs. The workflow triggers on label addition and on new pushes (synchronize) so that CI re-runs automatically when commits are pushed to a PR that already has the label. --- .github/workflows/ci.yml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index f617c5a..a6ba6cf 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -2,11 +2,11 @@ name: Build on: pull_request: - branches: - - '**' + types: [labeled, synchronize] jobs: build: + if: contains(github.event.pull_request.labels.*.name, 'CI-Run') runs-on: ubuntu-24.04 timeout-minutes: 60 permissions: From 9cb224b7256a8674a9411bdce302c866b1aebc11 Mon Sep 17 00:00:00 2001 From: Nitish Bhat Date: Wed, 24 Jun 2026 16:35:08 +0000 Subject: [PATCH 2/3] ci: add concurrency group and workflow_dispatch to build workflow --- .github/workflows/ci.yml | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-) diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index a6ba6cf..553974b 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -3,10 +3,15 @@ name: Build on: pull_request: types: [labeled, synchronize] + workflow_dispatch: + +concurrency: + group: build-${{ github.ref }} + cancel-in-progress: true jobs: build: - if: contains(github.event.pull_request.labels.*.name, 'CI-Run') + if: github.event_name == 'workflow_dispatch' || contains(github.event.pull_request.labels.*.name, 'CI-Run') runs-on: ubuntu-24.04 timeout-minutes: 60 permissions: From 1fed676e9572983ff88d949dcdbfeb9480b42cfb Mon Sep 17 00:00:00 2001 From: Nitish Bhat Date: Wed, 24 Jun 2026 21:12:29 +0000 Subject: [PATCH 3/3] ci: remove CI-Run label gate, run build on every PR --- .github/workflows/ci.yml | 2 -- 1 file changed, 2 deletions(-) diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 553974b..2aad444 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -2,7 +2,6 @@ name: Build on: pull_request: - types: [labeled, synchronize] workflow_dispatch: concurrency: @@ -11,7 +10,6 @@ concurrency: jobs: build: - if: github.event_name == 'workflow_dispatch' || contains(github.event.pull_request.labels.*.name, 'CI-Run') runs-on: ubuntu-24.04 timeout-minutes: 60 permissions: