#2071 (Dec 5, 2023, 4:20:29 AM)

1. merged (detail / hgweb)
2. more zproofs;
   misc tuning and clarification; (detail / hgweb)
3. tuned; (detail / hgweb)
4. tuned; (detail / hgweb)
5. more operations;
   tuned semicolons; (detail / hgweb)
6. clarified modules;
   more source positions; (detail / hgweb)
7. more zterm operations;
   more zproofs; (detail / hgweb)

Started by an SCM change

This run spent:

• 3 hr 30 min waiting;
• 2 hr 6 min build duration;
• 5 hr 36 min total from scheduled to completion.