Yes — your version is much closer to the correct logic than mine, and it correctly preserves the “label is the gate” + “runs on subsequent pushes” behavior.

Author: epernod

.github/workflows/ci.yml

@@ -25,16 +25,17 @@ jobs:
     name: Run on ${{ matrix.os }} with SOFA ${{ matrix.sofa_branch }} / MeshRefinement=${{ matrix.with_mesh_refinement }}
 
     if: >
-      github.event_name == 'push' ||
+      github.event_name == 'push' || github.event_name == 'workflow_dispatch' || startsWith(github.ref, 'refs/tags/v') ||
       (
         github.event_name == 'pull_request' &&
         (
-          contains(github.event.pull_request.labels.*.name, 'pr: run ci') ||
-          github.event.action == 'labeled'
+          contains(github.event.pull_request.labels.*.name, 'pr: run ci') &&
+          (
+            github.event.action != 'labeled' ||
+            github.event.label.name == 'pr: run ci'
+          )
         )
-      ) ||
-      github.event_name == 'workflow_dispatch' ||
-      startsWith(github.ref, 'refs/tags/v')
+      )
 
     runs-on: ${{ matrix.os }}