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