[Agda-dev] What's up with Travis?

[Andreas Abel]

Thanks, Andres!
I am really surprised that extra 30 min helped!

Somehow it feels there is something fundamentally wrong, though, when 
with ghc 7.6 the tests complete in 25 min but with ghc 7.8 it takes 6 
times as long.

The script for ghc-7.8 calls it with -j32 while ghc-7.6 is not called 
with any -j option, am I right here?  Maybe the -j actually slows the 
thing down.  Would be worth a test, what do you think?  [Or try a small 
value for -j.]  Again, just a shot in the dark...

Cheers,
Andreas

On 11.02.2016 15:37, Andrés Sicard-Ramírez wrote:
> On 10 February 2016 at 07:38, Andrés Sicard-Ramírez <asr at eafit.edu.co> wrote:
>> I got in touch with Travis. They don't know what is the cause of the
>> recent time outs. They will set a custom time out for agda/agda to 150
>> minutes or so.
>
> With the 150 minutes time out we got better results
>
>    https://travis-ci.org/agda/agda/builds/108296122
>
> I reported the failing job
>
>    https://travis-ci.org/agda/agda/jobs/108296124
>
> and Travis give us a 180 minutes time out. Let's see how it goes this time...
>
>

-- 
Andreas Abel  <><      Du bist der geliebte Mensch.

Department of Computer Science and Engineering
Chalmers and Gothenburg University, Sweden

andreas.abel at gu.se
http://www2.tcs.ifi.lmu.de/~abel/