From 270b5dbff4f90d47bcc697dd398a69c760c48975 Mon Sep 17 00:00:00 2001
From: William Allen <16820599+williamjallen@users.noreply.github.com>
Date: Mon, 1 Apr 2024 10:13:21 -0400
Subject: [PATCH] Add `merge_group` CI trigger (#2138)

As per the
[docs](https://docs.github.com/en/repositories/configuring-branches-and-merges-in-your-repository/configuring-pull-request-merges/managing-a-merge-queue#triggering-merge-group-checks-with-github-actions),
the `merge_group` trigger is necessary to trigger CI runs when using the
merge queue. This should fix the jobs which are currently stuck in the
queue.
---
 .github/workflows/ci.yml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 53d02d46cc..0e957403c8 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -5,6 +5,7 @@ on:
     branches:
       - master
   pull_request:
+  merge_group:
   workflow_dispatch:
 
 jobs: