Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

[7.2.0] Announce combined coverage report on the BES #22327

Merged
merged 1 commit into from May 11, 2024

Conversation

bazel-io
Copy link
Member

This allows BES consumers to access this file without guessing its path and existence, as well as when the actual coverage generation action runs locally.

Also removes an obsolete CoverageReport event.

RELNOTES: The combined coverage report produced via --combined_report=lcov is now announced on the BES via the new CoverageReport event.

Closes #22171.

PiperOrigin-RevId: 632641499
Change-Id: I0c323a371ec2fdd085bea23a772a85b72c52093f

Commit bb1fb53

This allows BES consumers to access this file without guessing its path and existence, as well as when the actual coverage generation action runs locally.

Also removes an obsolete `CoverageReport` event.

RELNOTES: The combined coverage report produced via `--combined_report=lcov` is now announced on the BES via the new `CoverageReport` event.

Closes bazelbuild#22171.

PiperOrigin-RevId: 632641499
Change-Id: I0c323a371ec2fdd085bea23a772a85b72c52093f
@bazel-io bazel-io added team-Remote-Exec Issues and PRs for the Execution (Remote) team awaiting-review PR is awaiting review from an assigned reviewer labels May 11, 2024
@bazel-io bazel-io requested a review from a team as a code owner May 11, 2024 00:11
@Wyverald Wyverald enabled auto-merge May 11, 2024 00:20
@Wyverald Wyverald added this pull request to the merge queue May 11, 2024
Merged via the queue into bazelbuild:release-7.2.0 with commit 3506ca1 May 11, 2024
33 checks passed
@github-actions github-actions bot removed the awaiting-review PR is awaiting review from an assigned reviewer label May 11, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
team-Remote-Exec Issues and PRs for the Execution (Remote) team
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

3 participants