Re: Extend build time for package

2022-10-13 Thread Aurelien Jarno
Hi, On 2022-10-12 11:34, Scott Talbert wrote: > Hi, > > I sent this to ar...@buildd.debian.org, but received a bounce message, so > sending it here too. > > Is it possible to extend a package's build timeout? I'm trying to build > haskell-what4 on armhf and it is hitting the 150 minute timeout.

Re: Extend build time for package

2022-10-13 Thread Scott Talbert
On Thu, 13 Oct 2022, Aurelien Jarno wrote: Hi, On 2022-10-12 11:34, Scott Talbert wrote: Hi, I sent this to ar...@buildd.debian.org, but received a bounce message, so sending it here too. Is it possible to extend a package's build timeout? I'm trying to build haskell-what4 on armhf and it i

Re: Extend build time for package

2022-10-13 Thread Aurelien Jarno
Hi, On 2022-10-13 16:25, Scott Talbert wrote: > On Thu, 13 Oct 2022, Aurelien Jarno wrote: > > > Hi, > > > > On 2022-10-12 11:34, Scott Talbert wrote: > > > Hi, > > > > > > I sent this to ar...@buildd.debian.org, but received a bounce message, so > > > sending it here too. > > > > > > Is it po