Hi all,

I find recently many PRs can not pass the CI, and some of them have been
merged into the master branch...

Please be careful to merge the PRs that cannot pass Travis-CI. Otherwise we
can not guarantee the stability of the branch..

I think if you are sure your PR is ok and the travis-ci failure can be
ignored, please explain why in your PR comment..

Best,
-----------------------------------
Xiangdong Huang
School of Software, Tsinghua University

 黄向东
清华大学 软件学院

Reply via email to