#703 (Jan 16, 2017, 8:44:13 PM)

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

• Started by an SCM change

This run spent:

• 7.5 sec waiting;
• 1 hr 6 min build duration;
• 1 hr 6 min total from scheduled to completion.