#1487 (Jun 19, 2021, 12:51:08 AM)

1. tuned --- following hints by IntelliJ; (detail / hgweb)
2. tuned signature; (detail / hgweb)
3. tuned; (detail / hgweb)
4. tuned; (detail / hgweb)
5. tuned signature; (detail / hgweb)
6. tuned; (detail / hgweb)
7. tuned signature (see 2d6a489adb01); (detail / hgweb)
8. added support for TFX's and THF's $ite to Sledgehammer (detail / hgweb)
9. tuned Mirabelle documentation (detail / hgweb)

Started by an SCM change

This run spent:

• 8 sec waiting;
• 1 hr 27 min build duration;
• 1 hr 27 min total from scheduled to completion.