Started 10 mo ago
Took 4 min 33 sec

Aborted Build #502 (Jan 16, 2019 11:23:46 AM)

Started by GitHub push by demarey

Aborted by user christophe.demarey@inria.fr