Started 7 min 30 sec ago
Took 12 sec on pharo-linux.ci.inria.fr

Success Build #133700 (Dec 14, 2019 3:02:00 PM)

No changes.

Started by timer