Add support for merge queues

fsimonis · fsimonis · commit 85f929d7e8f1 · 2025-06-23T10:52:04.000+02:00
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
@@ -2,6 +2,7 @@ name: Build the website
 on:
   workflow_dispatch:
   pull_request:
+  merge_group:
 
 jobs:
   build:
diff --git a/.github/workflows/lint-docs.yml b/.github/workflows/lint-docs.yml
@@ -4,6 +4,7 @@ on:
     branches: [ master ]
   pull_request:
     branches: [ master ]
+  merge_group:
 jobs:
   check_md:
     runs-on: ubuntu-latest
