![[Jenkins]](/rdf4j/static/2433e2e0/images/jenkins-header-logo-v2.svg){kind=logo}
Started 1 yr 8 mo ago
Took 3 min 42 sec
Build #36
(Jul 3, 2019, 7:15:18 PM)
 | No changes. |
 | Started by user Jeen Broekstra |
 | Revision: 98422fd17462acd6a182e7be0da4c435d4c8416a
|