mirror of https://github.com/ARMmbed/mbed-os.git
mergify: OR not supported, therefore we rely on pr-head now only
jenkins hooks are not always present, therefore we can't rely on them. Lets rely on not failing for jenkins-ci hooks. This should cover when they are not there due to smart tester, or executed and green. If failed, the condition would be false.pull/12269/head
parent
6d301d7404
commit
c28fbf524f
|
@ -140,8 +140,7 @@ pull_request_rules:
|
||||||
- status-success~=continuous-integration/travis-ci/pr
|
- status-success~=continuous-integration/travis-ci/pr
|
||||||
# Internal Jenkins - we rely on PR head to provide status
|
# Internal Jenkins - we rely on PR head to provide status
|
||||||
- status-success~=continuous-integration/jenkins/pr-head
|
- status-success~=continuous-integration/jenkins/pr-head
|
||||||
# any of the jenkins pipeline needs to be green or not failed (if smart tester skippes some stages, they are not there)
|
# any of the jenkins pipeline needs to be green. We rely on not failure means all good (if skipped or executed)
|
||||||
- status-success~=^jenkins-ci
|
|
||||||
- -status-failure~=^jenkins-ci
|
- -status-failure~=^jenkins-ci
|
||||||
actions:
|
actions:
|
||||||
label:
|
label:
|
||||||
|
|
Loading…
Reference in New Issue