Started 8 days 17 hr ago
Took 3 min 15 sec

Aborted Build #5 (May 17, 2019 11:41:23 AM)

Branch indexing

Aborted by user didier.vojtisek@inria.fr