No need for travis-ci right now