Post-hoc task-list:
Original post
Currently, PRs provide two code coverage messages; one by Github, one by CodeCov (e.g. #31). This seems unnecessary.
I suggest we remove the Github message, as our coverage badge relies on CodeCov. That being said, if there is a way to generate a code coverage badge through Github, I'd be in favor of cutting the number of services we need.