Merge pull request #8183 from diffblue/dependabot/github_actions/codecov/codecov-action-4

Bump codecov/codecov-action from 3 to 4

Author: tautschnig

.github/workflows/pull-request-checks.yaml

@@ -968,7 +968,7 @@ jobs:
           echo "lcov_excl_line = UNREACHABLE" > ~/.lcovrc
           cmake --build build --target coverage -- -j2
       - name: Upload coverage statistics to Codecov
-        uses: codecov/codecov-action@v3
+        uses: codecov/codecov-action@v4
         with:
           token: ${{ secrets.CODECOV_TOKEN }}
           files: build/html/coverage.info