Skip to content

Remove coverage builder from CI#8471

Merged
tlively merged 1 commit intomainfrom
no-coverage-ci
Mar 16, 2026
Merged

Remove coverage builder from CI#8471
tlively merged 1 commit intomainfrom
no-coverage-ci

Conversation

@tlively
Copy link
Member

@tlively tlively commented Mar 16, 2026

The coverage uploader has been running into rate limits and no one has complained. Clearly we are not using or benefiting from this builder in practice, so simply remove it.

The coverage uploader has been running into rate limits and no one has complained. Clearly we are not using or benefiting from this builder in practice, so simply remove it.
@tlively tlively requested a review from kripken March 16, 2026 18:10
@tlively tlively merged commit dc0f3ac into main Mar 16, 2026
16 checks passed
@tlively tlively deleted the no-coverage-ci branch March 16, 2026 20: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.

2 participants