![[Jenkins]](/jenkins/static/32f60b79/images/headshot.png)
Started 4 yr 3 mo ago
Took 1.7 sec
Build #42
(Jan 21, 2020 4:14:52 PM)
Started by GitLab push by Sebastian Müller
 |
Changes
|
 | Started by GitLab push by Sebastian Müller |
 | Revision: 9446d1c1c6adb9242d3837724168a3911e078ff2
|