Subject: Re: [bug#61420] [PATCH 14/31] gnu: ghc-9.2: Increase make verbosity.

From: zimoun <[email-masked]>
Date: Wed, 15 Feb 2023 11:53:13 +0100

Hi,

On Sat, 11 Feb 2023 at 11:08, Lars-Dominik Braun <[email-masked]> wrote:
> Tests time out on ci.guix.gnu.org.

[...]

> +         ;; Increase verbosity, so running the test suite does not time out on CI.

Hehe!  Well, I think there is variable for that.  Something like:

      (properties
       `((max-silent-time . 36000)))

Well, one is not exclusive with the other. :-)

Cheers,
simon