#780 (Feb 28, 2017, 6:00:47 PM)

Started by upstream project isabelle-repo build number 780
originally caused by:

• Started by an SCM change

This run spent:

• 1 hr 21 min waiting;
• 14 min build duration;
• 1 hr 36 min total from scheduled to completion.