From a1712cea98c770def3d77d26d87ef9a8f47c7ec4 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Cl=C3=A9ment=20Fournier?= <clement.fournier76@gmail.com>
Date: Sun, 26 Feb 2023 14:57:39 +0100
Subject: [PATCH] Adapt CI to build in merge queue

See https://docs.github.com/en/repositories/configuring-branches-and-merges-in-your-repository/configuring-pull-request-merges/managing-a-merge-queue
---
 .github/workflows/build.yml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
index a6cef3ea71..6cfc36d3c7 100644
--- a/.github/workflows/build.yml
+++ b/.github/workflows/build.yml
@@ -9,6 +9,7 @@ on:
     tags:
       - '**'
   pull_request:
+  merge_group:
   schedule:
     # build it monthly: At 04:00 on day-of-month 1.
     - cron:  '0 4 1 * *'