From 5f36dcf9ccabeba5db9958335feb546043e7271b Mon Sep 17 00:00:00 2001
From: Mukilan Thiyagarajan <me@mukilan.in>
Date: Tue, 4 Jul 2023 14:11:55 +0530
Subject: [PATCH] Run main workflow for merge queue events

This PR configures the main workflow (currently
used by bors via auto & try branches) to run
on 'merge_group' events emitted when pull requests
are added to GitHub merge queue.

Signed-off-by: Mukilan Thiyagarajan <me@mukilan.in>
---
 .github/workflows/main.yml | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
index 7aefa99a98c..7905f2fbcfb 100644
--- a/.github/workflows/main.yml
+++ b/.github/workflows/main.yml
@@ -4,6 +4,10 @@ on:
   push:
     branches: ["auto", "try"]
 
+  # Used by GH merge queue for landing PRs
+  merge_group:
+    types: [checks_requested]
+
   # Allows you to run this workflow manually from the Actions tab
   workflow_dispatch: