From 9f9bb1d3a2c9423b41da0bdc6112e792af87bcc4 Mon Sep 17 00:00:00 2001
From: Pieter Noordhuis <pieter.noordhuis@databricks.com>
Date: Wed, 26 Jul 2023 14:33:19 +0200
Subject: [PATCH] Add merge_group trigger for build

---
 .github/workflows/push.yml | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/.github/workflows/push.yml b/.github/workflows/push.yml
index 0f9b601616..1dcf3eaf30 100644
--- a/.github/workflows/push.yml
+++ b/.github/workflows/push.yml
@@ -5,6 +5,8 @@ on:
     types: [opened, synchronize]
   push:
     branches: [main]
+  merge_group:
+    types: [checks_requested]
 
 jobs:
   tests: