Re travis weirdness, always remember that for some reason github or travis (no idea which) rebases your changes onto current master before running your CI. So you can have other people’s changes in your CI that you don’t have in your branch. Many times have I bashed my head against the wall on that one.