Jan. 21, 2015
11:43 a.m.
AFAIK, jobs that take too long should be aborted. That doesn't seem to happen. https://ci.inria.fr/pharo-contribution/job/PharoProjectCatalog2/ Stephan