For a long time we haven't been using codecov, remove it so it wouldn't confuse
the readers