#1721 (Jun 26, 2022, 12:50:10 AM)

1. prefer antiquotations; (detail / hgweb)
2. clarified modules; (detail / hgweb)
3. more documentation; (detail / hgweb)
4. merged (detail / hgweb)
5. tuned whitespace; (detail / hgweb)
6. clarified signature: File.read_lines is based on scalable Bytes.T;
   discontinued somewhat pointless File.fold_lines; (detail / hgweb)
7. clarified modules; (detail / hgweb)
8. prefer scalable Bytes.T; (detail / hgweb)
9. unused; (detail / hgweb)
10. prefer scalable Bytes.T; (detail / hgweb)
11. missing recursive let-expansion in SMT translation (detail / hgweb)

Started by an SCM change

This run spent:

• 9.5 sec waiting;
• 1 hr 37 min build duration;
• 1 hr 37 min total from scheduled to completion.