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

Run coverage job for PRs, but don't upload results #6457

Merged
merged 1 commit into from
Jun 6, 2022

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