Started 4 days 3 hr ago
Took 4.4 sec on default-agent-8z4vb

Success Build ch.ethz.iks.slp (Jan 19, 2020 5:04:57 PM)

No changes.