#864 (Apr 26, 2017, 11:52:15 AM)

1. merged (detail / hgweb)
2. adjusted to changes from isabelle/e4997c181cce (detail / hgweb)

Started by an SCM change

This run spent:

• 6.3 sec waiting;
• 5 min 10 sec build duration;
• 5 min 16 sec total from scheduled to completion.