From 7faf2b6e8ebd3dbaabad74d94f7964e2ad495313 Mon Sep 17 00:00:00 2001
From: Wing Lian <wing.lian@gmail.com>
Date: Thu, 9 Jan 2025 15:49:00 -0500
Subject: [PATCH] Merge group queue (#2248)

* add support for merge groups

* also lint merge groups
---
 .github/workflows/lint.yml  | 1 +
 .github/workflows/tests.yml | 1 +
 2 files changed, 2 insertions(+)

diff --git a/.github/workflows/lint.yml b/.github/workflows/lint.yml
index 8f1cfd981..31695c0e5 100644
--- a/.github/workflows/lint.yml
+++ b/.github/workflows/lint.yml
@@ -1,6 +1,7 @@
 name: lint
 on:
   # check on PRs, and manual triggers
+  merge_group:
   pull_request:
       paths:
        - '**.py'
diff --git a/.github/workflows/tests.yml b/.github/workflows/tests.yml
index 4a9c33c93..39622e390 100644
--- a/.github/workflows/tests.yml
+++ b/.github/workflows/tests.yml
@@ -1,6 +1,7 @@
 name: Tests
 on:
   # check on push/merge to main, PRs, and manual triggers
+  merge_group:
   push:
     branches:
       - "main"