Hi Simon, > 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?
last time I tried this I was told Cuirass does not respect this property, so I’ll leave your patch untouched, hoping someone more knowledgable will push it – if it works. Lars
