Removed coverage reporting on pull requests

Since only a subset of the tests are run on pull requests, coverage statistics shouldn't be collected for them.