What are the benefits?
Closing for now. Working with Travis CI makes no trouble so far.
@linbingquan Please only open such an issue if you can explain the benefits for doing this change. Otherwise the project maintainers spend time in stuff which is currently not necessary. Time which is then missing for reviewing PRs or developing new features.
Most helpful comment
Closing for now. Working with Travis CI makes no trouble so far.
@linbingquan Please only open such an issue if you can explain the benefits for doing this change. Otherwise the project maintainers spend time in stuff which is currently not necessary. Time which is then missing for reviewing PRs or developing new features.