[Pharo-dev] Stuck jobs are not aborted CI

[Stephan Eggermont]

AFAIK, jobs that take too long should be aborted.
That doesn't seem to happen.

https://ci.inria.fr/pharo-contribution/job/PharoProjectCatalog2/

Stephan