use the Dot reporter on travis