![[Jenkins]](/static/d4747d46/images/jenkins-header-logo-v2.svg){kind=logo}
Started 3 mo 0 days ago
Took 7.9 sec
on master
Build #1
(Jul 13, 2020, 10:32:59 AM)
 | No changes. |
 | Started by user Ivan J. |
 | Revision: 854641e24d708fb4b852e0f8b5817dbe9f713fad
|