From 4d2f0db5050dec2e6b2d26e7ffaeac91b8dd3363 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Pawe=C5=82=20Marks?= Date: Mon, 20 Nov 2023 15:18:16 +0100 Subject: [PATCH] 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. --- .github/workflows/ci.yaml | 1 + 1 file changed, 1 insertion(+) diff --git a/.github/workflows/ci.yaml b/.github/workflows/ci.yaml index 370b66854051..0be81e1da78b 100644 --- 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: