From 2a7a130c34fd72177a967316e3ed0471522789c5 Mon Sep 17 00:00:00 2001 From: =?utf8?q?J=C3=A9r=C3=B4me=20Benoit?= Date: Wed, 15 Mar 2023 11:21:10 +0100 Subject: [PATCH] build: run CI on merge queue MIME-Version: 1.0 Content-Type: text/plain; charset=utf8 Content-Transfer-Encoding: 8bit Signed-off-by: Jérôme Benoit --- .github/workflows/ci.yml | 2 ++ 1 file changed, 2 insertions(+) diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 76df06d9..2745d2f2 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -5,6 +5,8 @@ on: branches: [master] pull_request: types: [opened, synchronize, reopened] + merge_group: + branches: [master] workflow_dispatch: inputs: withBenchmark: -- 2.34.1