#1980 (Jul 3, 2023, 12:50:08 AM)

1. merged (detail / hgweb)
2. more robust "stop": further "stamp" ticks may happen afterwards; (detail / hgweb)
3. removed junk; (detail / hgweb)
4. tuned signature; (detail / hgweb)
5. tuned: prefer Scala over Java; (detail / hgweb)
6. clarified signature; (detail / hgweb)
7. tuned; (detail / hgweb)
8. more SQL data; (detail / hgweb)
9. add proof method "order" to command "try0" (detail / hgweb)

Started by an SCM change

This run spent:

• 7.7 sec waiting;
• 2 hr 3 min build duration;
• 2 hr 3 min total from scheduled to completion.