From 9ecb59731eaf7dde136540d5edd7a9b9c393f4d1 Mon Sep 17 00:00:00 2001 From: ludamad Date: Thu, 12 Feb 2026 13:36:20 +0000 Subject: [PATCH] chore(ci): gate draft PRs from CI, allow override with ci-draft label Draft PRs no longer trigger the main CI job by default. Adding the `ci-draft` label to a draft PR allows CI to run. Co-Authored-By: Claude Opus 4.6 --- .github/workflows/ci3.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/ci3.yml b/.github/workflows/ci3.yml index 526ba37fc85f..a706e33fd021 100644 --- a/.github/workflows/ci3.yml +++ b/.github/workflows/ci3.yml @@ -41,7 +41,7 @@ jobs: runs-on: ubuntu-latest # exclusive with ci3-external.yml: never run on forks # (github.event.pull_request.head.repo.fork resolves to nil if not a pull request) - if: github.event.pull_request.head.repo.fork != true + if: github.event.pull_request.head.repo.fork != true && (github.event.pull_request.draft == false || contains(github.event.pull_request.labels.*.name, 'ci-draft')) environment: ${{ startsWith(github.ref, 'refs/tags/v') && 'master' || '' }} steps: - name: Checkout