nzeemin, спасибо за подсказку, думаю, что это сэкономит мне время, когда тоже буду настраивать CI.
А почему, кстати, именно Travis-CI? Какие-нибудь альтернативы рассматривались?