![[Jenkins]](/jenkins/static/95d0662c/images/jenkins-header-logo-v2.svg){kind=logo}
Started 7 yr 2 mo ago
Took 3 min 4 sec
on master
Build #40
(Sep 26, 2016 4:10:15 PM)
 | No changes. |
 | Started by user Peter W. V. Tran-Jørgensen |
 | Revision: 9b5fa022fe7a7d356dc5217a8018b75bc0d74641
|