From 415990b336dd40958f8338f5577ff674e75bb5f1 Mon Sep 17 00:00:00 2001
From: Noah Treuhaft <noah.treuhaft@gmail.com>
Date: Thu, 9 Nov 2023 14:25:38 -0500
Subject: [PATCH] Add on.merge_group in .github/workflows/ci.yaml (#4873)

Adding this trigger enables use of a GitHub merge queue.
---
 .github/workflows/ci.yaml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.github/workflows/ci.yaml b/.github/workflows/ci.yaml
index bec0758d2b..0da82218aa 100644
--- a/.github/workflows/ci.yaml
+++ b/.github/workflows/ci.yaml
@@ -1,6 +1,7 @@
 name: "Tests"
 
 on:
+  merge_group:
   pull_request:
   push:
     branches: