Merge pull request #79 from funidata/devops

CI: Run checks for merge groups
funidata · Jul 18, 2023 · 474311f · 474311f
2 parents a184775 + ab8fb41
commit 474311f
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.github/workflows/push_other_branches.yaml b/.github/workflows/push_other_branches.yaml
@@ -4,6 +4,7 @@ on:
   push:
     branches-ignore:
       - main
+  merge_group:
 
 jobs:
   build: