try make travis a little bit faster
try make travis a little bit faster

git4slash/robospice,johnjohndoe/robospice,hejunbinlan/robospice,fahmihidayah/robospice,rabyunghwa/robospice,JunyiZhou/robospice,hejunbinlan/robospice,dgyuri/robospice-minimal,ldw85/robospice,dgyuri/robospice-minimal,arunlodhi/robospice,xsobolx/robospice,jxauchengchao/robospice,jxauchengchao/robospice,xsobolx/robospice,fahmihidayah/robospice,hgl888/robospice,ldw85/robospice,rabyunghwa/robospice,arunlodhi/robospice,Proper-Job/robospice,hgl888/robospice,rav3n/robospice,rav3n/robospice,stephanenicolas/robospice,Proper-Job/robospice,stephanenicolas/robospice,git4slash/robospice,johnjohndoe/robospice,JunyiZhou/robospice