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.
tautschnig · Aug 2, 2024 · a8ed550 · a8ed550
1 parent 24fc8aa
commit a8ed550
Showing 1 changed file with 3 additions and 1 deletion.
diff --git 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