Re: i686 core-updates failure.

[Andreas Enge]

Am Thu, Apr 13, 2023 at 10:15:14PM +0200 schrieb Simon Tournier:
> Thanks for checking.  It also builds for me locally.  So I guess,
> +    (properties
> +     ;; 3 hours to avoid time-out in the check phase.
> +     `((max-silent-time . 10800)))
> would be helpful.

I may misunderstand something, but while ghc takes a long time for its
tests, it is not silent - it regularly outputs test results. I do not
think it really is silent for one hour. So I am not sure this would help.
Maybe some transient build failure?

I have just restarted the builds in cuirass.

Andreas