![[Jenkins]](/static/d4747d46/images/jenkins-header-logo-v2.svg){kind=logo}
Started 1 mo 20 days ago
Took 9.3 sec
on master
Build #1
(Aug 22, 2020, 9:53:19 AM)
 | No changes. |
 | Started by user Ivan J. |
 | Revision: bc7ac7ffa8a27a147fd372e363bc3d57b5ed56bd
|