Enable merge_group trigger for merge queues

.github/workflows/build.yml

@@ -2,7 +2,11 @@ name: Build & Test
 
 on:
   pull_request:
+  merge_group:
   push:
+    branches:
+      - master
+      - develop
   workflow_dispatch:
     # Allow to run manually
     inputs:

.github/workflows/doc-build.yml

@@ -2,7 +2,11 @@ name: Build documentation
 
 on:
   pull_request:
+  merge_group:
   push:
+    branches:
+      - master
+      - develop
   workflow_dispatch:
     # Allow to run manually
 

.github/workflows/lint.yml

@@ -1,6 +1,12 @@
 name: Lint
 
-on: [push, pull_request]
+on: 
+  push:
+    branches:
+      - master
+      - develop
+  pull_request: 
+  merge_group:
 
 concurrency:
   # Cancel previous runs of this workflow for the same branch