fix(ci): Skip the title check if handling a merge group (#790)

noir-lang · Feb 9, 2023 · 71b179c · 71b179c
1 parent 846a24a
commit 71b179c
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/.github/workflows/pull-request.yml b/.github/workflows/pull-request.yml
@@ -1,6 +1,7 @@
 name: Pull Request
 
 on:
+  merge_group:
   pull_request_target:
     types:
       - opened
@@ -17,6 +18,7 @@ jobs:
     runs-on: ubuntu-latest
     steps:
       - name: Check title
+        if: github.event_name != 'merge_group'
         uses: amannn/action-semantic-pull-request@v5
         env:
           GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}