Started 1 yr 3 mo ago
Took 33 sec

Build #10 (Apr 23, 2020 10:10:18 AM)

Changes
  1. should build libgit2 (details)

Started by user guillermo.polito@inria.fr

Revision: a63bdc13d355ad2d57d22f45fcd4bd8d1db2fb8b
  • master