Started 11 mo ago
Took 5.1 sec on basic-kthcz

Build #57 (Nov 4, 2020, 8:44:13 PM)

No changes. Changes in dependency
  1. ch.ethz.iks.r_osgi.remote  ? → (detail)