[Agda-dev] Travis work-flow

Andrés Sicard-Ramírez asr at eafit.edu.co
Sat May 9 16:27:43 CEST 2015


On 9 May 2015 at 08:54, Ulf Norell <ulfn at chalmers.se> wrote:
> I think having to babysit the Travis job and restart it if it fails is not a
> viable option.

My small children did not send me emails when they had problems :-)

-- 
Andrés


More information about the Agda-dev mailing list