Skip to content

Conversation

armanbilge
Copy link
Member

Sorry for the follow-up, realized I overlooked this subtlety. Occasionally the scoverage plugin will break for some otherwise valid code (like the \r\n thing). A PR could do this by mistake and we wouldn't find out till merge.

So actually, we do want to run coverage for PRs, just to make sure it still works. We just don't want to upload the results!

@armanbilge armanbilge added the behind-the-scenes Appreciated, but not user-facing label Jun 6, 2022
@mergify mergify bot added the series/0.23 PRs targeting 0.23.x label Jun 6, 2022
@armanbilge
Copy link
Member Author

Cool. This PR from my fork also confirms that we won't get a coverage report here.

@armanbilge armanbilge merged commit 52045e6 into http4s:series/0.23 Jun 6, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
behind-the-scenes Appreciated, but not user-facing series/0.23 PRs targeting 0.23.x
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants