ci: avoid duplicate runs for PR branches

djc · djc · commit 40bcb63406a8 · 2026-02-10T15:47:14.000Z
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
@@ -5,6 +5,8 @@ permissions:
 
 on:
   push:
+    branches: ['main', 'rel-*', 'ci/*']
+    tags: ['**']
   pull_request:
   merge_group:
   schedule:
