mirror of https://github.com/webpack/webpack.git
Improve bot to only read the latest PR status
This commit is contained in:
parent
8b21862b0e
commit
79517a22cc
|
@ -4,7 +4,9 @@ rules:
|
||||||
open: true
|
open: true
|
||||||
status:
|
status:
|
||||||
context: "continuous-integration/travis-ci/pr"
|
context: "continuous-integration/travis-ci/pr"
|
||||||
state: "success"
|
ensure:
|
||||||
|
value: "{{status.state}}"
|
||||||
|
equals: "success"
|
||||||
actions:
|
actions:
|
||||||
label:
|
label:
|
||||||
add: "PR: CI-ok"
|
add: "PR: CI-ok"
|
||||||
|
@ -18,7 +20,9 @@ rules:
|
||||||
open: true
|
open: true
|
||||||
status:
|
status:
|
||||||
context: "continuous-integration/travis-ci/pr"
|
context: "continuous-integration/travis-ci/pr"
|
||||||
state: "failure"
|
ensure:
|
||||||
|
value: "{{status.state}}"
|
||||||
|
equals: "failure"
|
||||||
actions:
|
actions:
|
||||||
label:
|
label:
|
||||||
add: "PR: CI-not-ok"
|
add: "PR: CI-not-ok"
|
||||||
|
@ -30,3 +34,4 @@ rules:
|
||||||
@{{issue.user.login}} The most important CI builds failed. This way your PR can't be merged.
|
@{{issue.user.login}} The most important CI builds failed. This way your PR can't be merged.
|
||||||
|
|
||||||
Please take a look at the [CI results]({{status.target_url}}) and fix these issues.
|
Please take a look at the [CI results]({{status.target_url}}) and fix these issues.
|
||||||
|
|
||||||
|
|
Loading…
Reference in New Issue