Started 2 mo 23 days ago
Took 5.9 sec on sos-builder01

Failed Build #1372 (Sep 22, 2019 7:05:40 PM)

No changes.

Started by user martin.monperrus@inria.fr

Rebuilds build #1,371