![[Jenkins]](/virgo/static/5c0d63c7/images/jenkins-header-logo-v2.svg){kind=logo}
Started 4 yr 7 mo ago
Took 42 sec
Build #4
(Dec 30, 2015 3:46:59 PM)
 | No changes. |
 | Started by user GianMaria Romanato |
 | Revision: 7ff921e02b48d94857b6974634a3d2d87ef7f03f
|