Started 7 mo 24 days ago
Took 4.4 sec on default-agent-t7n6r

Success Build ch.ethz.iks.slp (Jun 4, 2020, 4:54:05 AM)

No changes.