chore(workflows): setup on: merge_group (#474)

#### What this PR does / why we need it: As per title to take advantage of merge queue.
fuxingloh · Jun 10, 2023 · 7d59b4a · 7d59b4a
1 parent 25930da
commit 7d59b4a
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -1,10 +1,10 @@
 name: CI
 
 on:
-  push:
-    branches: [main]
   pull_request:
     branches: [main]
+  merge_group:
+    branches: [main]
 
 concurrency:
   group: ${{ github.workflow }}-${{ github.event_name }}-${{ github.ref }}