![[Jenkins]](/rdf4j/static/fc4a2a76/images/jenkins-header-logo-v2.svg){kind=logo}
Started 9 mo 21 days ago
Took 0.96 sec
on default-agent-9hvw2
Build #8
(Mar 31, 2020 10:58:22 PM)
 | No changes.
Changes in dependency
|
#7