[Agda-dev] Re: Travis work-flow

[Andrés Sicard-Ramírez]

Hi,

On 7 May 2015 at 11:24, Andrés Sicard-Ramírez <asr at eafit.edu.co> wrote:
> 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.

(I'm supposing that every author of a commit which doesn't pass a
Travis job is receiving an email notification from Travis.)

Let's suppose that a Travis test fails due to for example a time out
condition. How does know the author of a commit that his commit
compiles for example with GHC 7.4.2 without restoring the failed
Travis job?

Right now, eight Travis builds have failed from four different authors (see
https://travis-ci.org/agda/agda/builds).

Best,


-- 
Andrés