#1406 (Feb 28, 2021, 1:19:30 AM)

1. more Isabelle/ML/Scala operations; (detail / hgweb)
2. more Isabelle/ML/Scala operations; (detail / hgweb)
3. more Isabelle/ML/Scala operations;
   clarified errors; (detail / hgweb)
4. proper src1, amending 20157c8ab3f3; (detail / hgweb)
5. tuned; (detail / hgweb)
6. proper File.eq, amending df49ca5da9d0; (detail / hgweb)
7. tuned; (detail / hgweb)
8. clarified modules: more like ML; (detail / hgweb)
9. obsolete; (detail / hgweb)
10. tuned; (detail / hgweb)
11. more direct make_directory in ML and Scala, but ssh still requires perl for Windows UNC paths (see a5dbad753552); (detail / hgweb)
12. discontinued somewhat pointless "integrity test of build_history": it fails right now, but also failed to expose spurious incompatibilities when it was working; (detail / hgweb)
13. more checks; (detail / hgweb)
14. clarified message; (detail / hgweb)
15. clarified message; (detail / hgweb)
16. clarified comments; (detail / hgweb)
17. clarified message; (detail / hgweb)

Started by an SCM change

This run spent:

• 29 min waiting;
• 1 hr 31 min build duration;
• 2 hr 1 min total from scheduled to completion.