#1688 (May 26, 2018, 11:25:11 AM)

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

• Started by an SCM change

This run spent:

• 12 min waiting;
• 1 hr 45 min build duration;
• 1 hr 57 min total from scheduled to completion.