[Agda-dev] Travis work-flow

[Andreas Abel]

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/