From c778369b5cdb35b125fb425e1436448396b3ac9c Mon Sep 17 00:00:00 2001
From: erik pernod <erik.pernod@gmail.com>
Date: Thu, 2 Apr 2026 15:37:26 +0200
Subject: [PATCH 1/2] [ci] Update CI workflow to include main/master branch and
 check label 'pr: run ci' in PR

---
 .github/workflows/ci.yml | 8 +++++++-
 1 file changed, 7 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index dd5ac53..73cbaf7 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -2,15 +2,21 @@ name: CI
 
 on:
   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
       matrix:
-        os: [ubuntu-22.04, windows-2022] #macos-14, 
+        os: [ubuntu-22.04, macos-14, windows-2022] 
         sofa_branch: [master]
 
     steps:

From 240bad7ead0e847110f69378622ccf352524aadc Mon Sep 17 00:00:00 2001
From: erik pernod <erik.pernod@gmail.com>
Date: Thu, 2 Apr 2026 16:49:40 +0200
Subject: [PATCH 2/2] Enhance CI workflow with pull request triggers

Add pull request trigger types 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 73cbaf7..6df237b 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -6,6 +6,9 @@ on:
       - main
       - master
 
+  pull_request:
+    types: [opened, synchronize, reopened, labeled]
+
 jobs:
   build-and-test:
     name: Run on ${{ matrix.os }} with SOFA ${{ matrix.sofa_branch }}