-
Notifications
You must be signed in to change notification settings - Fork 418
Open
Description
It seems to me that the incremental_mutants
CI job is failing on ~every PR, and nobody actually makes any effort to address the failures. IMO it therefore just introduces noise which then in turn might have us getting used to a failing CI before merging, i.e., has some potential that an actual issue slips through at some point. Of course, it also takes up some (considerable?) time in the CI queue that might be better spent on other jobs.
I'd therefore like to ask whether there are any contributors that actually look at the CI job. Does somebody find it useful and does spend some time to make it pass on any of their PRs?
Otherwise, if nobody actually gets any use out of it, I'd be in favor of disabling it again.
(cc @dunxen)
Metadata
Metadata
Assignees
Labels
No labels