Started 1 yr 3 mo ago
Took 8.6 sec

Build #13 (Apr 23, 2020 10:27:54 AM)

Changes
  1. building v1.0.0 (details)

Started by user guillermo.polito@inria.fr

Revision: 105a7da850b342f19864883ebcaff3b88fbca852
  • master