You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
This appears to be because our manual Codecov upload code is CircleCI-specific (e.g., it only runs if CIRCLE_BRANCH is set).
We should decide either to retire the integration once and for all (the fact that we've not even noticed it is broken suggests we may not be getting a lot of value out of it at this time), or to fix it to work with GHA.