![[Jenkins]](/static/d4747d46/images/jenkins-header-logo-v2.svg){kind=logo}
Started 9 mo 3 days ago
Took 4.8 sec
on master
Build #10
(Jan 12, 2020, 2:34:36 PM)
 | No changes. |
 | Started by user Ivan J. |
 | Revision: 89397af14e8584c21fe1a6be8c46cd5b4f84002d
|