Add merge-group trigger to workflows

agda · Oct 30, 2023 · 80f19af · 80f19af
1 parent 138509e
commit 80f19af
Show file tree

Hide file tree

Showing 2 changed files with 8 additions and 0 deletions.
diff --git a/.github/workflows/ci-ubuntu.yml b/.github/workflows/ci-ubuntu.yml
@@ -5,6 +5,10 @@ on:
       - master
       - experimental
   pull_request:
+    branches:
+      - master
+      - experimental
+  merge_group:
 
 ########################################################################
 ## CONFIGURATION

diff --git a/.github/workflows/haskell-ci.yml b/.github/workflows/haskell-ci.yml
@@ -24,11 +24,15 @@ on:
       - cabal.haskell-ci
       - "*.hs"
   pull_request:
+    branches:
+      - master
+      - experimental
     paths:
       - .github/workflows/haskell-ci.yml
       - agda-stdlib-utils.cabal
       - cabal.haskell-ci
       - "*.hs"
+  merge_group:
 jobs:
   linux:
     name: Haskell-CI - Linux - ${{ matrix.compiler }}