Started 8 days 18 hr ago
Took 9 min 25 sec

Aborted Build #9 (May 17, 2019 11:41:28 AM)

Branch indexing

Aborted by user didier.vojtisek@inria.fr