#1557 (Apr 8, 2018, 1:45:31 PM)

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

• Started by an SCM change

This run spent:

• 1 hr 5 min waiting;
• 5 min 45 sec build duration;
• 1 hr 11 min total from scheduled to completion.