![[Jenkins]](/rdf4j/static/4979d7e8/images/headshot.png)
Started 5 mo 8 days ago
Took 3 min 42 sec
Build #36
(Jul 3, 2019 7:15:18 PM)
 | No changes. |
 | Started by user jeen.broekstra@gmail.com |
 | Revision: 98422fd17462acd6a182e7be0da4c435d4c8416a
|