Hi Lars, On Thu, 13 Apr 2023 at 22:02, Lars-Dominik Braun <l...@6xq.net> wrote:
> > About GHC, I am trying to build ghc-8.10.7 on core-updates for i686. It > > could be nice to fix it. Well, I will be happy if someone™ beats me. ;-) > > GHC 8.10.7 on i686 built fine for me locally with all timeouts > disabled. 9.2.5 is not done yet, but is slowly processing through the test > suite as well for me. Can someone build both manually on the CI servers > maybe? 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. And it should be inherited by 9.2.5 so it should also build on CI. WDYT? Cheers, simon
