tweak workflow to trigger CI

ranjitjhala · nilehmann · commit 111e731a20eb · 2025-11-04T16:21:54.000-03:00
diff --git a/.github/workflows/flux.yml b/.github/workflows/flux.yml
@@ -5,7 +5,7 @@ on:
   push:
     branches: [main]
   pull_request:
-    branches: [main]
+    branches: [main, sync-2025-10-09]
 
 env:
   FLUX_VERSION: "6b080b32801f923bfb590ac48e729de38f829f21"
