From f7956e0788db6646e249c1841b77526c2d5a6e09 Mon Sep 17 00:00:00 2001
From: erik pernod <erik.pernod@gmail.com>
Date: Thu, 2 Apr 2026 15:40:31 +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 487e541..65cb86c 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 f97ba5ed23f557be0323a8eaa3dbed940bd4da28 Mon Sep 17 00:00:00 2001
From: erik pernod <erik.pernod@gmail.com>
Date: Thu, 2 Apr 2026 16:45:47 +0200
Subject: [PATCH 2/2] Forgot 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 65cb86c..265e228 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: