Started 4 mo 17 days ago
Took 3.4 sec on sos-builder02

Failed Build #1422 (Jul 27, 2019 9:49:12 PM)

No changes.

Started by user martin.monperrus@inria.fr

Revision: 88f689c73972dde450961714ec4766378c777ad0
  • refs/remotes/origin/master