ci: Enable merge_group for workflows (#22214)
Enable the `merge_group` for CI workflows so that they work with the merge queue. Release Notes: - N/A
This commit is contained in:
@@ -15,6 +15,7 @@ on:
|
||||
paths-ignore:
|
||||
- "docs/**/*"
|
||||
- ".github/workflows/community_*"
|
||||
merge_group:
|
||||
|
||||
concurrency:
|
||||
# Allow only one workflow per any non-`main` branch.
|
||||
|
||||
@@ -7,6 +7,7 @@ on:
|
||||
push:
|
||||
branches:
|
||||
- main
|
||||
merge_group:
|
||||
|
||||
jobs:
|
||||
check_formatting:
|
||||
|
||||
Reference in New Issue
Block a user