travis ci and david