Codecov upload randomly fails with claim that branch is protected #224
Description
It looks like we are running into codecov/codecov-action#1580.
Per the issue, this should be fixed by version 5 of the action, which should come out in about a week.
When it comes out, we should upgrade our CI.