![[Jenkins]](/rdf4j/static/2433e2e0/images/jenkins-header-logo-v2.svg){kind=logo}
Started 5 mo 12 days ago
Took 0.83 sec
on basic-gs6z1
Build #23
(Sep 25, 2020, 12:14:05 AM)
 | No changes.
Changes in dependency
|
#22