![[Jenkins]](/jenkins/static/dde5e32c/images/jenkins-header-logo-v2.svg){kind=logo}
Started 5 yr 0 mo ago
Took 12 min
on master
Build #50
(Nov 15, 2016 3:09:11 PM)
 | No changes. |
 | Started by user Peter W. V. Tran-Jørgensen |
 | Revision: 8a56ba840579dcc41dbd07a3f8cddd77a01a3b9e
|