Removed coverage reporting on pull requests
Merge branch 'master' into pull_coverage
Merge branch 'master' into pull_coverage
Download record.json rather than store in Git.
Fix record.json download link.

[ci skip]
Merge pull request #343 from Aaron1011/pull_coverage

Removed coverage reporting on pull requests