Started 4 mo 12 days ago
Took 4.1 sec on sos-builder02

Failed Build #970 (Jul 27, 2019 9:49:07 PM)

No changes.

Started by user martin.monperrus@inria.fr (2 times)

Revision: af72bb94bd9ed54ff0fbab99b48b7ee4ca59dee7
  • refs/remotes/origin/master