leave coverage.html in repo