rename travis

This commit is contained in:
Huamin Chen 2018-01-10 18:27:56 +00:00
parent 64732755d8
commit b7286329ef