Add merge_group to trigger CI runs (#2713)

Pull request: #2713
com-lihaoyi · Aug 25, 2023 · 83e16b2 · 83e16b2
1 parent e2586a8
commit 83e16b2
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.github/workflows/actions.yml b/.github/workflows/actions.yml
@@ -18,6 +18,7 @@ on:
  tags:
  - '**'
  pull_request:
+ merge_group:
  workflow_dispatch:
 
 # cancel older runs of a pull request;