chore(ci): set up merge queue (#717)

dasch-swiss · Jan 4, 2024 · 1c13f5f · 1c13f5f
1 parent 43a8217
commit 1c13f5f
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 0 deletions.
diff --git a/.github/workflows/check-pr-title.yml b/.github/workflows/check-pr-title.yml
@@ -3,6 +3,7 @@
 name: PR-Title
 
 on:
+  merge_group:
   pull_request:
     types: [opened, edited, synchronize, reopened]
 

diff --git a/.github/workflows/tests-on-push.yml b/.github/workflows/tests-on-push.yml
@@ -4,6 +4,7 @@ name: Tests on Push
 
 
 on:
+  merge_group:
   push:
     branches-ignore:
       - main