Add codecov badge

[dfed]

As title

[bachand]

Approving though it sounds like we're still having some issues with codecov (see #67 (comment)) so it may be best if we feel more confident before we add the badge.

Separately, would it be expected that this PR itself has a codecov comment?

[dfed]

Approving though it sounds like we're still having some issues with codecov (see #67 (comment)) so it may be best if we feel more confident before we add the badge.

Yup. Going to try to get the other PR working before I merge this.

Separately, would it be expected that this PR itself has a codecov comment?

That we would! Working on it in #68

[dfed]

Now that #68 is merged, I'll get this in once CI goes green again.

[codecov]

Codecov Report

Merging #69 (ea12b06) into main (16e6563) will not change coverage.
The diff coverage is n/a.

❗ Current head ea12b06 differs from pull request most recent head bb99592. Consider uploading reports for the commit bb99592 to get more accurate results

@@           Coverage Diff           @@
##             main      #69   +/-   ##
=======================================
  Coverage   96.26%   96.26%           
=======================================
  Files          14       14           
  Lines         562      562           
=======================================
  Hits          541      541           
  Misses         21       21           

[bachand]

@dfed I'm wondering how we can avoid this codecov warning?

It seems like when you pushed bb99592 we somehow didn't update codecov with the necessary information to recompute code coverage?

I came to that conclusion since that I see that codecov added this warning later, and the original message is comparing ea12b06, the previous commit, to the base branch.

[bachand]

If you'd prefer I can file an issue on this too. Not trying to add more work. You've already done some amazing KTLO work on this repo this week :)

[dfed]

Oh I know what happened here @bachand. I merged main into this branch, then merged before CI completed since I was only updating the README.

My guess is that codecov doesn't update posts on closed/merged PRs, so we never got to see the update for the latest commit.

I guess that teaches me not to take shortcuts 😅

[bachand]

Ah OK I'm relieved we have a good theory 👍