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

mergify: remove needs CI if CI fails

pull/12274/head
Martin Kojtal 2020-01-20 14:00:11 +00:00
parent bccc140516
commit adfa73665d
1 changed files with 4 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
.mergify.yml
View File

@ -35,6 +35,7 @@ pull_request_rules:
- "needs: work"
remove:
- "needs: review"
- "needs: CI"
# From needs: review to needs: work - CI failure
- name: "label needs: work when travis-ci failed"
@ -47,6 +48,7 @@ pull_request_rules:
- "needs: work"
remove:
- "needs: review"
- "needs: CI"
# From needs: review to needs: work - CI failure
- name: "label needs: work when Jenkins CI failed - pr head"
@ -59,6 +61,7 @@ pull_request_rules:
- "needs: work"
remove:
- "needs: review"
- "needs: CI"
# From needs: review to needs: work - CI failure
- name: "label needs: work when Jenkins CI failed - any of the pipeline"
@ -71,6 +74,7 @@ pull_request_rules:
- "needs: work"
remove:
- "needs: review"
- "needs: CI"
# From needs: review or needs: work to needs: CI. One approval means we should be good to start CI
- name: "label needs: CI when at least one reviewers approval"