ci: Use merge queue (#7879)

Author: FrederikBolding

.github/workflows/action_lint.yml

@@ -1,5 +1,7 @@
 name: Github-Action linter
-on: [pull_request]
+on:
+  pull_request:
+  merge_group:
 jobs:
   actionlint:
     runs-on: ubuntu-latest

.github/workflows/build.yml

@@ -1,5 +1,7 @@
 name: Build
-on: [pull_request]
+on:
+  pull_request:
+  merge_group:
 jobs:
   build:
     runs-on: ubuntu-latest

.github/workflows/prettier_check.yml

@@ -3,6 +3,7 @@ name: Run prettier check
 on:
   push:
   pull_request:
+  merge_group:
 
 jobs:
   prettier:

.github/workflows/rebase.yml

@@ -3,6 +3,7 @@ name: Check JSON Schema
 on:
   push:
   pull_request:
+  merge_group:
 
 jobs:
   validate_json: