From 8cd23f041a54b16355543a236cce729aa745d9c2 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 1f556a290fc3..132bfe5e45c4 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: