![[Jenkins]](/static/d4747d46/images/jenkins-header-logo-v2.svg){kind=logo}
Started 11 mo ago
Took 4.9 sec
on master
Build #1
(Oct 23, 2019, 12:05:59 PM)
 | No changes. |
 | Started by user Ivan J. |
 | Revision: cd8bdcb6e1ac7386f28ca32dc461cb7d9a33fe12
|