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

[Layus]

On 09/04/17 11:13, Florent Becker wrote:
>>> 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.

Some failures are meaningful. It only takes a quick glance to tell if 
the failure is some kind of bustage or a real issue.

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.science.uu.nl/pipermail/nix-dev/attachments/20170409/016c9f68/attachment.html>