Run CI on merge_group events, to allow for GitHub Merge Queue

.github/workflows/checkin.yml

@@ -1,5 +1,8 @@
 name: "PR Checks"
-on: [pull_request, push]
+on:
+  push:
+  pull_request:
+  merge_group: # Needed for GitHub Merge Queue
 
 concurrency:
   # Skip intermediate builds: all builds except for builds on the `master`, `main`, or `release-*` branches

.github/workflows/codeql-analysis.yml

@@ -23,6 +23,7 @@ on:
   pull_request:
     # The branches below must be a subset of the branches above
     branches: [ master ]
+  merge_group: # Needed for GitHub Merge Queue
   schedule:
     - cron: '32 22 * * 6'
 

.github/workflows/example-builds-defaultarch.yml

@@ -10,6 +10,7 @@ on:
   push:
     branches: ['main', 'master', 'releases/*']
   pull_request:
+  merge_group: # Needed for GitHub Merge Queue
   workflow_dispatch:
 
 jobs:

.github/workflows/example-builds-nightly-defaultarch.yml

@@ -10,6 +10,7 @@ on:
   push:
     branches: ['main', 'master', 'releases/*']
   pull_request:
+  merge_group: # Needed for GitHub Merge Queue
 
 jobs:
   test:

.github/workflows/example-builds-nightly.yml

@@ -10,6 +10,7 @@ on:
   push:
     branches: ['main', 'master', 'releases/*']
   pull_request:
+  merge_group: # Needed for GitHub Merge Queue
   schedule:
     - cron: '37 17 * * *'
 

.github/workflows/example-builds.yml

@@ -10,6 +10,7 @@ on:
   push:
     branches: ['main', 'master', 'releases/*']
   pull_request:
+  merge_group: # Needed for GitHub Merge Queue
   workflow_dispatch:
 
 jobs: