On Fri, Jun 12, 2020 at 09:49:21PM +0200, Frédéric Bonnard wrote: > Hi, > I wanted to check that FTBFS but it actually built, on different setup. > After a give back on ppc64el and s390x, everything went fine. Very few > changes between the failing and succeeding build. Same ghc, kernel. > For the record, linux-libc-dev, libgmpxx4ldbl, libgmp-dev, libkrb5support0, > libk5crypto3, libkrb5-3, libgssapi-krb5-2, libnghttp2-14, hscolour were > not the same.
Both the buildd failures and the build failures in the reproducible CI look as if the failure is random, perhaps with a different probability depending on some unknown factor. > F. cu Adrian