As noted in #651 (comment), Codecov is currently having issues with GitHub Actions (see codecov/codecov-action#37), which seems to make it unusable. This is not the first issue we've had with Codecov. Is there another service and/or GitHub action we could use?