Auto merge of #29964 - mukilan:enable-merge-queue-action, r=mrobinson

Run main workflow for merge queue events

This PR configures the main workflow (currently used by bors via auto & try branches) to run
on 'merge_group' events emitted when pull requests are added to GitHub merge queue.

---
<!-- Thank you for contributing to Servo! Please replace each `[ ]` by `[X]` when the step is complete, and replace `___` with appropriate data: -->
- [x] `./mach build -d` does not report any errors
- [x] `./mach test-tidy` does not report any errors
- [ ] These changes fix #___ (GitHub issue number if applicable)

<!-- Either: -->
- [ ] There are tests for these changes OR
- [x] These changes do not require tests because they just extend merge checks.

<!-- Also, please make sure that "Allow edits from maintainers" checkbox is checked, so that we can help you if you get stuck somewhere along the way.-->

<!-- Pull requests that do not address these steps are welcome, but they will require additional verification as part of the review process. -->
This commit is contained in:
bors-servo 2023-07-04 12:01:19 +02:00 committed by GitHub
commit dea28b51a2
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -4,6 +4,10 @@ on:
push:
branches: ["auto", "try"]
# Used by GH merge queue for landing PRs
merge_group:
types: [checks_requested]
# Allows you to run this workflow manually from the Actions tab
workflow_dispatch: