Do not run CI on merges to relese

PRs are merged to the release branches using our own implementation of the merge queue. The history for them is linearised and we are running all the CI both after every backported batch. Those builds are redundant and can clog our runners.
scala · Nov 20, 2023 · 8cd23f0 · 8cd23f0
1 parent 36e543d
commit 8cd23f0
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.github/workflows/ci.yaml b/.github/workflows/ci.yaml
@@ -18,6 +18,7 @@ on:
       - '*'
     branches-ignore:
       - 'gh-readonly-queue/**'
+      - 'release-**'
   pull_request:
   merge_group:
   schedule: