From: Jérôme Benoit Date: Wed, 15 Mar 2023 10:21:10 +0000 (+0100) Subject: build: run CI on merge queue X-Git-Tag: v2.3.8~8 X-Git-Url: https://git.piment-noir.org/?a=commitdiff_plain;h=2a7a130c34fd72177a967316e3ed0471522789c5;p=poolifier.git build: run CI on merge queue Signed-off-by: Jérôme Benoit --- 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: