chore(ci): add merge queue trigger to PR jobs
This commit is contained in:
parent
1bdd6b8f18
commit
c5613abd0c
1 changed files with 3 additions and 1 deletions
4
.github/workflows/pull_request.yml
vendored
4
.github/workflows/pull_request.yml
vendored
|
@ -1,4 +1,6 @@
|
|||
on: [ pull_request ]
|
||||
on:
|
||||
pull_request:
|
||||
merge_group:
|
||||
|
||||
name: Check pull request
|
||||
|
||||
|
|
Loading…
Reference in a new issue