CI: line coverage on pull requests #107
No reviewers
Labels
No milestone
No project
No assignees
1 participant
Notifications
Due date
No due date set.
Dependencies
No dependencies set.
Reference
bcox/tymbal!107
Loading…
Add table
Add a link
Reference in a new issue
No description provided.
Delete branch "coverage"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
Follows #106.
.forgejo/coverage.shrunsbazel coverage --combined_report=lcov //...and instruments only our sources (^//, excluding//third_party).genhtmlrenders the full report, anddiff-coverreports the lines this branch changed against its base. Both tools come from Fedora packages.ci.ymlgains a fifth job,coverage. It runs after tsan, on pull requests only. It uploads the HTML as the run'scoverage-htmlartifact and posts diff-cover's report as a comment on the PR.Tested so far:
bazel coverageproduces an lcov report with the hermetic clang (checked on//dsp:svf_test). A full-suite trial in a local fedora:43 container is still running. Two things only this PR's own run can prove: whether the job token may post the comment, and whetherupload-artifact@v4works on this Forgejo.🤖 Generated with Claude Code