#1551 (Sep 17, 2021, 12:50:11 AM)

1. clarified operations: follow Isabelle/ML more closely; (detail / hgweb)

Started by an SCM change

This run spent:

• 9.5 sec waiting;
• 2 hr 6 min build duration;
• 2 hr 6 min total from scheduled to completion.