From 4d1e80554bc1f0dd931e4e468c63d0c3edb43bab Mon Sep 17 00:00:00 2001 From: Nicolas Ayral Seydoux Date: Thu, 17 Sep 2026 22:12:55 +0200 Subject: [PATCH] Avoid duplicate CI runs on the merge queue Pushing the merge queue branch emits both a `push` and a `merge_group` event, so CI ran twice on the same commit. That caused a failure due to concurrency groups cancelling one of the runs. This replaces the `push` trigger with `pull_request`, so that the event is not fired in the merge queue. This way, CI runs only once. --- .github/workflows/ci.yml | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index efaf66212c..75a432b266 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -1,7 +1,6 @@ name: CI -# Run the required tests on the merge queue. -on: [push, merge_group] +on: [pull_request, merge_group] env: CI: true