![[Jenkins]](/rdf4j/static/2433e2e0/images/jenkins-header-logo-v2.svg){kind=logo}
Started 5 days 13 hr ago
Took 13 min
on basic-zq51c
Build #136
(Feb 21, 2021, 4:14:56 AM)
 | No changes. |
 | Started by user Håvard Mikkelsen Ottestad |
 | Revision: 252612767ae685d42f177e8fd4d330b0d97acdbe
|