From ee70cd45910dae2fed528a479ea392b4c0b34eeb Mon Sep 17 00:00:00 2001 From: Michael Beemer Date: Wed, 11 Jun 2025 16:09:06 -0400 Subject: [PATCH] chore: add merge group trigger to pr lint Signed-off-by: Michael Beemer Signed-off-by: Adityasinghvats <131326798+Adityasinghvats@users.noreply.github.com> --- .github/workflows/pr-lint.yml | 1 + 1 file changed, 1 insertion(+) diff --git a/.github/workflows/pr-lint.yml b/.github/workflows/pr-lint.yml index f021787..cee415f 100644 --- a/.github/workflows/pr-lint.yml +++ b/.github/workflows/pr-lint.yml @@ -4,6 +4,7 @@ on: branches: - main pull_request: + merge_group: permissions: # Required: allow read access to the content for analysis.