![[Jenkins]](/metro/static/b5d2c138/images/jenkins-header-logo-v2.svg){kind=logo}
Started 2 yr 3 mo ago
Took 6 min 22 sec
on default-java-f3m7h
Build #1
(Dec 28, 2018, 7:42:53 AM)
 | No changes. |
 | Started by user Tomas Kraus |
 | Revision: 5a6052772a46ad352f134ab3755c17b71d2f6f45
|