Started 3 mo 20 days ago
Took 1 sec on default-agent-qjgpm

Success Build #12 (Apr 25, 2020 1:52:54 AM)

No changes. Changes in dependency
  1. Eclipse RDF4J Success#11Success#12 (detail)