This pull request updates the build workflow's triggers to trigger on the checks_requested type of merge_group event in addition to the existing triggers. It also does a bit of formatting updates to conform with our best practices/preferences.
💭 Motivation and context
When using a merge queue in downstream repositories I have had some issues with workflows running consistently. This will hopefully improve that situation as well as ensuring we explicitly support merge queues. Any downstream repositories should add this same trigger to any required checks (such as CodeQL workflows). It will also align the workflow with the configuration specified in the documentation for adding a pull request to a merge queue.
🧪 Testing
Automated tests pass.
✅ Pre-approval checklist
[x] This PR has an informative and human-readable title.
[x] Changes are limited to a single goal - eschew scope creep!
[x] All relevant type-of-change labels have been added.
🗣 Description
This pull request updates the
buildworkflow's triggers to trigger on thechecks_requestedtype ofmerge_groupevent in addition to the existing triggers. It also does a bit of formatting updates to conform with our best practices/preferences.💭 Motivation and context
When using a merge queue in downstream repositories I have had some issues with workflows running consistently. This will hopefully improve that situation as well as ensuring we explicitly support merge queues. Any downstream repositories should add this same trigger to any required checks (such as CodeQL workflows). It will also align the workflow with the configuration specified in the documentation for adding a pull request to a merge queue.
🧪 Testing
Automated tests pass.
✅ Pre-approval checklist