#2016 (Sep 20, 2023, 1:32:11 AM)

1. tuned; (detail / hgweb)
2. clarified signature; (detail / hgweb)
3. clarified signature (again): follow Isabelle/Java/Scala; (detail / hgweb)
4. tuned (following 69c6d3e87660); (detail / hgweb)
5. tuned --- avoid pointless indirection (see also a2df9de46060); (detail / hgweb)

Started by an SCM change

This run spent:

• 42 min waiting;
• 2 hr 2 min build duration;
• 2 hr 45 min total from scheduled to completion.