![[Jenkins]](/glsp/static/28a938d0/images/jenkins-header-logo-v2.svg){kind=logo}
Started 9 mo 1 day ago
Took 2 min 32 sec
on basic-agent-tr6jh
Build #22
(Apr 19, 2020 1:55:38 PM)
 | No changes. |
 | Started by user Tobias Ortmayr |
 | Revision: 0d1cdf8876ec39e8ed64a6e68fe9cba9202a6337
|