Started 8 days 12 hr ago
Took 5.7 sec on default-agent-pkr64

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

No changes.