Bump codecov/codecov-action from 3 to 4#8183

tautschnig merged 1 commit intodevelopdiffblue/cbmc:developfrom

dependabot/github_actions/codecov/codecov-action-4diffblue/cbmc:dependabot/github_actions/codecov/codecov-action-4Copy head branch name to clipboard