[Agda-dev] Travis work-flow

Andrés Sicard-Ramírez asr at eafit.edu.co
Thu May 7 18:24:17 CEST 2015


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,

-- 
Andrés


More information about the Agda-dev mailing list