Skip to content

Remove codecov#291

Merged
mhutchinson merged 1 commit into
transparency-dev:mainfrom
mhutchinson:nocodecov
Jun 24, 2025
Merged

Remove codecov#291
mhutchinson merged 1 commit into
transparency-dev:mainfrom
mhutchinson:nocodecov

Conversation

@mhutchinson
Copy link
Copy Markdown
Contributor

It's noisy and unhelpful, see #290 as an example. It's got itself stuck with some base commit in the past, and it's not worth the effort in untangling this IMO. I don't remember the last time we requested a PR was modified as a result of codecov feedback.

It's noisy and unhelpful, see transparency-dev#290 as an example. It's got itself stuck with some base commit in the past, and it's not worth the effort in untangling this IMO. I don't remember the last time we requested a PR was modified as a result of codecov feedback.
@mhutchinson mhutchinson merged commit a487437 into transparency-dev:main Jun 24, 2025
7 checks passed
@mhutchinson mhutchinson deleted the nocodecov branch June 24, 2025 11:32
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.

2 participants