Started 1 yr 2 mo ago
Took 5.5 sec on default-agent-8kp70

Success Build ch.ethz.iks.r_osgi.remote (Feb 26, 2020, 6:31:16 AM)

No changes.