diff options
| author | Mukilan Thiyagarajan <me@mukilan.in> | 2023-07-04 14:11:55 +0530 |
|---|---|---|
| committer | Mukilan Thiyagarajan <me@mukilan.in> | 2023-07-04 15:30:15 +0530 |
| commit | 5f36dcf9ccabeba5db9958335feb546043e7271b (patch) | |
| tree | b9ac78151e3ca69b8c3407fab7eae6488ecd8081 /python/servo/build_commands.py | |
| parent | 66abb1dfc49ab1067b7a3d7bc2d40b772f949bcd (diff) | |
| download | servo-5f36dcf9ccabeba5db9958335feb546043e7271b.tar.gz servo-5f36dcf9ccabeba5db9958335feb546043e7271b.zip | |
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.
Signed-off-by: Mukilan Thiyagarajan <me@mukilan.in>
Diffstat (limited to 'python/servo/build_commands.py')
0 files changed, 0 insertions, 0 deletions