Codecov should post shorter comments, and only if coverage changes
Codecov should post shorter comments, and only if coverage changes

The codecov reports are kind of spammy. Let's see if I can configure
it to be more palatable.

LuminosoInsight/ordered-set