Merge "Add re-run into reference github gate pipeline"
This commit is contained in:
commit
63bf5b9aae
|
@ -86,6 +86,9 @@
|
|||
- event: pull_request
|
||||
action: status
|
||||
status: ".*:success"
|
||||
- event: check_run
|
||||
action: rerequested
|
||||
check: .*/gate:.*
|
||||
- event: pull_request
|
||||
action: labeled
|
||||
label:
|
||||
|
|
Loading…
Reference in New Issue