>> >> 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.
_______________________________________________ nix-dev mailing list [email protected] http://lists.science.uu.nl/mailman/listinfo/nix-dev
