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

[Ulf Norell]

Wow, -j32? What kind of monster machine is Travis running? On my machine
with 4 physical cores -j4 is slower than -j3, so I would expect -j32 to be
a bad idea.

/ Ulf

On Fri, Feb 12, 2016 at 9:04 AM, Andreas Abel <abela at chalmers.se> wrote:

> 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/
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.chalmers.se/pipermail/agda-dev/attachments/20160212/d18533b7/attachment.html