ARMmbed
/
mbed-os
mirror of https://github.com/ARMmbed/mbed-os.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity

mergify: fix jenkins check if smart tester skips pipeline

pull/12269/head
Martin Kojtal 2020-01-16 14:52:00 +00:00
parent 09529ad0c5
commit 6d301d7404
1 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
.mergify.yml
View File

@ -140,8 +140,9 @@ pull_request_rules:
- status-success~=continuous-integration/travis-ci/pr
# Internal Jenkins - we rely on PR head to provide status
- status-success~=continuous-integration/jenkins/pr-head
# any of the jenkins pipeline needs to be green
# any of the jenkins pipeline needs to be green or not failed (if smart tester skippes some stages, they are not there)
- status-success~=^jenkins-ci
- -status-failure~=^jenkins-ci
actions:
label:
add: