Comment # 29 on bug 1025891 from Richard Biener

It's building again, but in jobhist I see

2017-05-26 10:58:24  ceph                                               source
change    succeeded            1h 40m  1s   obs-power8-01:7 
2017-05-26 11:12:41  ceph                                               source
change    succeeded            1h 54m 12s   lamb76:4        

(two hours!?)

Thus I suppose fixed now.