Make Travis publish coverage reports