Started 1 yr 3 mo ago
Took 1 min 47 sec

Build #15 (Apr 23, 2020 10:30:05 AM)

Changes
  1. Clean workspace after build (details)

Started by user guillermo.polito@inria.fr

Revision: 9814eb0170561fc550cc08b86619936e95caecc1
  • master