![[Jenkins]](/jenkins/static/52a6e70b/images/jenkins-header-logo-v2.svg){kind=logo}
Started 5 yr 4 mo ago
Took 2 min 42 sec
Build #4
(Jul 14, 2018, 11:19:38 AM)
 | Started by user Lorenz Bühmann |
 | Revision: cdca6dbefe09ed188342944956af7076c621ab2b
|