Started 4 yr 8 mo ago
Took 5.1 sec on debian-wheezy-32

Failed Build #22 (Apr 14, 2015 2:58:22 PM)

No changes.

Started by user christophe.demarey@inria.fr

Configurations

Faileddefault