![[Jenkins]](/static/d4747d46/images/jenkins-header-logo-v2.svg){kind=logo}
Started 5 mo 29 days ago
Took 3.2 sec
on master
Build #1
(Apr 15, 2020, 3:11:12 PM)
 | No changes. |
 | Started by user halftux |
 | Revision: 179ef73e6e43a78f5fc535460bd9e8fffa9b77df
|