Allow running actions on merge group

formalsec · Feb 28, 2025 · 8ac6b6a · 8ac6b6a
1 parent bd4b406
commit 8ac6b6a
Show file tree

Hide file tree

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

diff --git a/.github/workflows/test-z3.yml b/.github/workflows/test-z3.yml
@@ -7,6 +7,7 @@ on:
   pull_request:
     branches:
       - main
+  merge_group:
 
 jobs:
   test-z3:
-Original file line number
+Diff line change
@@ Expand Up / @@ -7,6 +7,7 @@ on: @@
       pull_request:
         branches:
           - main
+      merge_group:
     jobs:
       build:
@@ Expand Down @@