Skip to content

[rules score] add coverage report#238

Merged
castler merged 1 commit into
mainfrom
joho_add_coverage_report
May 21, 2026
Merged

[rules score] add coverage report#238
castler merged 1 commit into
mainfrom
joho_add_coverage_report

Conversation

@hoe-jo
Copy link
Copy Markdown
Contributor

@hoe-jo hoe-jo commented May 21, 2026

No description provided.

Comment thread coverage/README.md Outdated

### Prerequisites

`genhtml` must be installed (part of the `lcov` OS package):
Copy link
Copy Markdown
Contributor

@castler castler May 21, 2026

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Can we not use one from apt? And reference it from the MODULE file, like here: https://github.com/eclipse-score/baselibs/blob/main/MODULE.bazel#L160

Comment thread coverage/BUILD Outdated
sh_binary(
name = "combined_report",
srcs = ["run_combined_coverage.sh"],
visibility = ["//visibility:public"],
Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Why should this be public?

@hoe-jo hoe-jo force-pushed the joho_add_coverage_report branch from e7673f1 to fcf58cd Compare May 21, 2026 10:21
@hoe-jo hoe-jo force-pushed the joho_add_coverage_report branch from fcf58cd to c8ef4c1 Compare May 21, 2026 11:04
@hoe-jo hoe-jo requested a review from castler May 21, 2026 11:14
@castler castler merged commit 8b8b524 into main May 21, 2026
8 checks passed
@castler castler deleted the joho_add_coverage_report branch May 21, 2026 11:23
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

Development

Successfully merging this pull request may close these issues.

2 participants