This is an automated email from the git hooks/post-receive script.
git pushed a commit to branch master
in repository terminology.
View the commit online.
commit a1abcf0158dd70a31004578c4c28d37fde289453
Author: Boris Faure <[email protected]>
AuthorDate: Mon Aug 24 22:54:36 2026 +0200
ci: upload only the coverage report we built
Naming a file does not make it the only one uploaded. The uploader went on
searching the tree and running its gcov plugin regardless, and reported "Found
61 coverage files" where we had produced exactly one: ours, plus sixty raw
.gcov files it generated itself. Those are not filtered the way the gcovr call
is, so headers out of /usr/include were among them -- what codecov showed was
assembled from two overlapping sources disagreeing on what counts as project
code.
---
.github/workflows/ci.yaml | 8 ++++++++
1 file changed, 8 insertions(+)
diff --git a/.github/workflows/ci.yaml b/.github/workflows/ci.yaml
index c9c04fa6..f590e2c4 100644
--- a/.github/workflows/ci.yaml
+++ b/.github/workflows/ci.yaml
@@ -197,10 +197,18 @@ jobs:
# The two architectures cover different sets of lines, so they upload
# under separate flags and codecov merges them into one report instead of
# the second arriving as a replacement for the first.
+ #
+ # Naming a file is not enough on its own to make it the only one sent:
+ # the uploader still searches the tree and still runs its gcov plugin,
+ # which found sixty more reports to add to ours, among them headers out
+ # of /usr/include that the gcovr filter above exists to keep out. Upload
+ # the report we built and nothing else.
- name: Upload to codecov
uses: codecov/codecov-action@v5
with:
files: coverage.xml
+ disable_search: true
+ plugins: noop
flags: ${{ matrix.arch }}
token: ${{ secrets.CODECOV_TOKEN }}
fail_ci_if_error: false
--
To stop receiving notification emails like this one, please contact
the administrator of this repository.
