diff options
author | bors-servo <infra@servo.org> | 2023-07-04 12:01:19 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2023-07-04 12:01:19 +0200 |
commit | dea28b51a2ed8487b462da59937a9a4c5ee7ec10 (patch) | |
tree | b9ac78151e3ca69b8c3407fab7eae6488ecd8081 /python/servo/build_commands.py | |
parent | 66abb1dfc49ab1067b7a3d7bc2d40b772f949bcd (diff) | |
parent | 5f36dcf9ccabeba5db9958335feb546043e7271b (diff) | |
download | servo-dea28b51a2ed8487b462da59937a9a4c5ee7ec10.tar.gz servo-dea28b51a2ed8487b462da59937a9a4c5ee7ec10.zip |
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. -->
Diffstat (limited to 'python/servo/build_commands.py')
0 files changed, 0 insertions, 0 deletions