Skip to content

build: Trigger presubmit workflows on GitHub merge queue events#12685

Merged
parthea merged 2 commits into
mainfrom
add-github-merge-queue
May 13, 2024
Merged

build: Trigger presubmit workflows on GitHub merge queue events#12685
parthea merged 2 commits into
mainfrom
add-github-merge-queue

Conversation

@parthea
Copy link
Copy Markdown
Contributor

@parthea parthea commented May 11, 2024

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.

@parthea parthea requested a review from a team May 11, 2024 14:41
@parthea parthea merged commit f3aaade into main May 13, 2024
@parthea parthea deleted the add-github-merge-queue branch May 13, 2024 15:14
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants