Code coverage results from Travis build 71 pushed to git repository.