Merge pull request #8458 from mxpv/mg

Run CI when adding a PR to a merge queue

.github/workflows/ci.yml

@@ -1,5 +1,8 @@
 name: CI
 on:
+  # When added to a merge queue.
+  # See 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
+  merge_group:
   push:
     branches:
       - main