mirror of https://github.com/open-feature/cli.git
chore: add merge group trigger to pr lint
Signed-off-by: Michael Beemer <beeme1mr@users.noreply.github.com> Signed-off-by: Adityasinghvats <131326798+Adityasinghvats@users.noreply.github.com>
This commit is contained in:
parent
bd416e4a0c
commit
ee70cd4591
|
|
@ -4,6 +4,7 @@ on:
|
|||
branches:
|
||||
- main
|
||||
pull_request:
|
||||
merge_group:
|
||||
|
||||
permissions:
|
||||
# Required: allow read access to the content for analysis.
|
||||
|
|
|
|||
Loading…
Reference in New Issue