On Thu, 13 Apr 2023 at 22:45, Andreas Enge <andr...@enge.fr> wrote: > 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?
Well, maybe it is transient because an issue with Berlin but the failure [1] is because it was silent for one hour: --8<---------------cut here---------------start------------->8--- building of `/gnu/store/i6h8q8jgqxli3mkfyw7lpwzf7gq6mrxk-ghc-8.10.7.drv' timed out after 3600 seconds of silence @ build-failed /gnu/store/i6h8q8jgqxli3mkfyw7lpwzf7gq6mrxk-ghc-8.10.7.drv - timeout --8<---------------cut here---------------end--------------->8--- And I think the patch would avoid such transient error. Note it similar for ghc-9 for i686 on master [2]; it is maybe not as transient as it seems. ;-) 1: https://ci.guix.gnu.org/build/718809/log/raw 2: https://ci.guix.gnu.org/build/478772/log/raw > I have just restarted the builds in cuirass. Good, let see. :-) Cheers, simon
