Add merge_group trigger for PR workflow

object-Object · object-Object · commit 40a3cad5336a · 2025-07-14T15:00:18.000-04:00
diff --git a/.github/workflows/pr.yml b/.github/workflows/pr.yml
@@ -5,6 +5,7 @@ name: Build pull request
 
 on:
   pull_request:
+  merge_group:
   workflow_dispatch:
   # trigger on pushes to the default branch (main) to keep the cache up to date
   push:
