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