Add Codecov token to CI

[ararslan]

Coverage hasn't been properly submitted in a long time. The issue as reported by the CI job is that we need a token, so I've added one in the repository settings and this commit just tells the action to use it.

[codecov]

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 39.03%. Comparing base (c1e8462) to head (983326b).
Report is 18 commits behind head on master.

Additional details and impacted files

@@           Coverage Diff           @@
##           master     #318   +/-   ##
=======================================
  Coverage   39.02%   39.03%           
=======================================
  Files         233      233           
  Lines        6144     6151    +7     
  Branches     1608     1608           
=======================================
+ Hits         2398     2401    +3     
- Misses       3393     3397    +4     
  Partials      353      353           

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

[giordano]

I've added one in the repository settings and this commit just tells the action to use it.

For what is worth, there's already an organisation-wide one, you overrode that one.

[ararslan]

Was the organization-wide token there in early January? Shouldn't matter regardless whether the organization-wide or repository-level token is used.

[giordano]

It has been there for a year 😉

[ararslan]

Huh, I wonder why Codecov was complaining in CI about the token then. Maybe the action version was old or something. This was ~2 months ago so has been pretty well GC'd from my brain.

[giordano]

I think you only needed the change in this PR, without creating a new token 🙂

[ararslan]

Ahhhh, that makes sense. Feel free to delete the repo token if you prefer.