Skip to content

Remove the extra coverage file support. - #2973

Merged
keith merged 1 commit into
mainfrom
ks/remove-the-extra-coverage-file-support
May 27, 2026
Merged

keith merged 1 commit into
mainfrom
ks/remove-the-extra-coverage-file-support

Conversation

@keith

@keith keith commented May 15, 2026 •

Copy link
Copy Markdown
Member

This has always been empty

PiperOrigin-RevId: 774770081
(cherry picked from commit 8a292e6)

PiperOrigin-RevId: 774770081
(cherry picked from commit 8a292e6)
@keith
keith merged commit e2fc450 into main May 27, 2026
11 checks passed
@keith
keith deleted the ks/remove-the-extra-coverage-file-support branch May 27, 2026 19:26
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants