![[Jenkins]](/jenkins/static/921bb46b/images/jenkins-header-logo-v2.svg){kind=logo}
Started 2 yr 1 mo ago
Took 5 min 14 sec
Build #1
(May 6, 2021, 11:38:14 AM)
 | Push event to branch feature/DistRDF2ML at 11:38:08 AM on May 6, 2021 |
 | Revision: 4f70233f6f5bbec6e97709aa37d5e15bec80f56e
|