From 635777478da2bbd8bd433beed47c18ffae460f38 Mon Sep 17 00:00:00 2001 From: erik pernod Date: Thu, 2 Apr 2026 15:24:07 +0200 Subject: [PATCH] Update CI workflow to include 'run ci' label check --- .github/workflows/ci.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 55a65c2..e7ad8c0 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -14,7 +14,7 @@ jobs: name: Run on ${{ matrix.os }} with SOFA ${{ matrix.sofa_branch }} if: > github.event_name == 'push' || - contains(github.event.pull_request.labels.*.name, 'pr: status to review') + contains(github.event.pull_request.labels.*.name, 'pr: run ci') runs-on: ${{ matrix.os }} strategy: fail-fast: false