#1400 (Feb 22, 2021, 12:50:09 AM)

1. proper treatment of process_result; (detail / hgweb)
2. more accurate process_result in ML, corresponding to Process_Result in Scala; (detail / hgweb)
3. clarified: proper trim_line for error; (detail / hgweb)
4. unused; (detail / hgweb)

Started by an SCM change

This run spent:

• 8.8 sec waiting;
• 1 hr 31 min build duration;
• 1 hr 31 min total from scheduled to completion.