Mirrors/servo
1
0
Fork 0
mirror of https://github.com/servo/servo.git synced 2025-06-06 16:45:39 +00:00
Code Issues Projects Releases Packages Wiki Activity

Run main workflow for merge queue events

Browse source 
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>
This commit is contained in:
Mukilan Thiyagarajan 2023-07-04 14:11:55 +05:30
parent 66abb1dfc4
commit 5f36dcf9cc
1 changed files with 4 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

4
.github/workflows/main.yml vendored
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: