![[Jenkins]](/jenkins/static/283deee7/images/jenkins-header-logo-v2.svg){kind=logo}
Started 4 yr 0 mo ago
Took 3 min 29 sec
on master
Build #48
(Oct 12, 2016 10:44:01 AM)
 | No changes. |
 | Started by user Peter W. V. Tran-Jørgensen |
 | Revision: 18c8de3d9302410a9f152bca05b8ea553ef6e890
|