Somehow, Codecov coverage only updates when we explicitly push changes to the branch, not when we merge them in. This used to be a bug in Codecov, but it might have been fixed. We should figure out what's going on, and possibly contact codecov for help.
Somehow, Codecov coverage only updates when we explicitly push changes to the branch, not when we merge them in. This used to be a bug in Codecov, but it might have been fixed. We should figure out what's going on, and possibly contact codecov for help.
-Erik