[Nix-dev] Is CI of pull requests broken?

[Florent Becker]

>>
>> Moreover, many of the merged pull requests [2] also have failed CI. It
>> looks like the failed CI signal nothing to the people who do merge.
>> Everybody just knows that CI is broken and its success or failure
>> means nothing. Is it so?
> 
Failure means nothing, but success means the changes are not (too)
broken. So it's not quite useless.