Skip to content
[Jenkins]Jenkins
log in
Started 4 yr 0 mo ago
Took 24 sec
Failed

Build #14 (Apr 23, 2020, 10:30:03 AM)

Changes
  1. Clean workspace after build (details)

Started by user guillermo.polito@inria.fr

Revision: 9814eb0170561fc550cc08b86619936e95caecc1
Repository: https://gitlab.inria.fr/RMOD/libgit-build.git
  • master