Commit f3aaade
authored
build: Trigger presubmit workflows on GitHub merge queue events (googleapis#12685)
Googlers see approved doc in b/300959810
See
https://docs.github.com/en/actions/using-workflows/events-that-trigger-workflows#merge_group
which mentions the following:
>More than one activity type triggers this event. Although only the
checks_requested activity type is supported, specifying the activity
type will keep your workflow specific if more activity types are added
in the future.
>If your repository uses GitHub Actions to perform required checks on
pull requests in your repository, you need to update the workflows to
include the merge_group event as an additional trigger. Otherwise,
status checks will not be triggered when you add a pull request to a
merge queue. The merge will fail as the required status check will not
be reported. The merge_group event is separate from the pull_request and
push events.1 parent d9a3f90 commit f3aaade
3 files changed
+12
-0
lines changed| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
2 | 2 | | |
3 | 3 | | |
4 | 4 | | |
| 5 | + | |
| 6 | + | |
| 7 | + | |
| 8 | + | |
5 | 9 | | |
6 | 10 | | |
7 | 11 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
2 | 2 | | |
3 | 3 | | |
4 | 4 | | |
| 5 | + | |
| 6 | + | |
| 7 | + | |
| 8 | + | |
5 | 9 | | |
6 | 10 | | |
7 | 11 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
2 | 2 | | |
3 | 3 | | |
4 | 4 | | |
| 5 | + | |
| 6 | + | |
| 7 | + | |
| 8 | + | |
5 | 9 | | |
6 | 10 | | |
7 | 11 | | |
| |||
0 commit comments