Removed coverage reporting on pull requests
Merge branch 'master' into pull_coverage
Merge branch 'master' into pull_coverage
Merge pull request #343 from Aaron1011/pull_coverage

Removed coverage reporting on pull requests