From 08ae7f43d54e28d342269002521356305fc50cad Mon Sep 17 00:00:00 2001 From: erik pernod Date: Thu, 2 Apr 2026 15:44:35 +0200 Subject: [PATCH 1/2] Modify CI triggers for main and master branches Updated CI workflow to trigger on push to main and master branches. --- .github/workflows/ci.yml | 8 ++++++-- 1 file changed, 6 insertions(+), 2 deletions(-) diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 7efcd05b..cad31c50 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -1,13 +1,17 @@ name: CI on: - workflow_dispatch: - pull_request: push: + branches: + - main + - master jobs: build-and-test: name: Run on ${{ matrix.os }} with SOFA ${{ matrix.sofa_branch }} + if: > + github.event_name == 'push' || + contains(github.event.pull_request.labels.*.name, 'pr: run ci') runs-on: ${{ matrix.os }} strategy: fail-fast: false From c2f5d109cdbb0f7de58dfb4cc83e9cfe54a3ff0f Mon Sep 17 00:00:00 2001 From: erik pernod Date: Thu, 2 Apr 2026 16:48:28 +0200 Subject: [PATCH 2/2] Add pull_request trigger to CI workflow --- .github/workflows/ci.yml | 3 +++ 1 file changed, 3 insertions(+) diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index cad31c50..f3a567e1 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -5,6 +5,9 @@ on: branches: - main - master + + pull_request: + types: [opened, synchronize, reopened, labeled] jobs: build-and-test: