From a8ed550fe3336e56f078ea33d85c213f1c2a7e89 Mon Sep 17 00:00:00 2001
From: Michael Tautschnig <tautschn@amazon.com>
Date: Fri, 2 Aug 2024 18:33:15 +0000
Subject: [PATCH] Enable "Auto label" for merge-queue actions

This will Fix merge-queue CI actions as this is a required CI action,
but wasn't being run for jobs entering the queue.
---
 .github/workflows/extra_jobs.yml | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/extra_jobs.yml b/.github/workflows/extra_jobs.yml
index 5d92f3fff53c..c8ad02e340f2 100644
--- a/.github/workflows/extra_jobs.yml
+++ b/.github/workflows/extra_jobs.yml
@@ -18,7 +18,9 @@
 # See <https://github.com/actions/labeler/issues/121> for more details.
 
 name: Kani Extra
-on: pull_request_target
+on:
+  pull_request_target:
+  merge_group:
 
 jobs:
   # Keep this job minimal since it requires extra permission