add merge-groups to workflows

bempp · Nov 1, 2023 · 4e531f2 · 4e531f2
1 parent 5633313
commit 4e531f2
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 0 deletions.
diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml
@@ -5,6 +5,7 @@ on:
   pull_request:
     branches:
       - main
+  merge_group:
 
 jobs:
   build-docs:

diff --git a/.github/workflows/run-tests.yml b/.github/workflows/run-tests.yml
@@ -7,6 +7,7 @@ on:
   pull_request:
     branches:
       - main
+  merge_group:
 
 jobs:
   run-tests-rust:

diff --git a/.github/workflows/style-checks.yml b/.github/workflows/style-checks.yml
@@ -7,6 +7,7 @@ on:
   pull_request:
     branches:
       - main
+  merge_group:
 
 jobs:
   style-checks: