[Agda-dev] Travis work-flow

[Ulf Norell]

I think having to babysit the Travis job and restart it if it fails is not
a viable option. Not sure how to go about getting Chalmers to pay for
Travis, but it would make sense.

/ Ulf

On Sat, May 9, 2015 at 11:52 AM, Andreas Abel <abela at chalmers.se> wrote:

> To avoid out-of-memory conditions we could use fewer parallel processes.
> However, then we might hit the 50 min limit.
>
> We should consider paying travis to get more reliable reports.  In
> comparison with our salaries, the fees are not high.
>
> Chalmers could pay for a "startup" license.  What is your opinion, Ulf?
>
> --Andreas
>
> On 07.05.2015 18:24, Andrés Sicard-Ramírez wrote:
>
>> Hi,
>>
>> Since we are getting Travis errors not related with the commits (e.g.
>> out-of-memory conditions), please restart the build/jobs the number of
>> times that this is necessary. Otherwise, the real errors will prevent
>> future success builds.
>>
>> Best,
>>
>>
> --
> 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/20150509/c317e56c/attachment.html