chore: enabling actions for merge groups

.github/workflows/build.yml

@@ -5,6 +5,7 @@ on:
     branches: [main, "rust-v*"]
   pull_request:
     branches: [main, "rust-v*"]
+  merge_group:
 
 jobs:
   format:

.github/workflows/dev_pr.yml

@@ -2,6 +2,7 @@ name: dev_pr
 
 # Trigger whenever a PR is changed (title as well as new / changed commits)
 on:
+  merge_group:
   pull_request_target:
     types:
       - opened

.github/workflows/docs.yml

@@ -1,6 +1,7 @@
 name: Build (and maybe release) the documentation
 
 on:
+  merge_group:
   pull_request:
     paths:
       - python/**

.github/workflows/python_build.yml

@@ -1,6 +1,7 @@
 name: python_build
 
 on:
+  merge_group:
   push:
     branches: [main]
   pull_request: