#1454 (May 4, 2021, 12:50:10 AM)

1. tuned (detail / hgweb)
2. more robust indentation: proper line context after insert; (detail / hgweb)
3. more robust: avoid sporadic crash of JEditBuffer.tokenMarker.getMainRuleSet().getModeName(); (detail / hgweb)
4. support nested cases; (detail / hgweb)
5. tuned; (detail / hgweb)
6. tuned; (detail / hgweb)
7. early definition of ML antiquotations; (detail / hgweb)
8. tuned; (detail / hgweb)

Started by an SCM change

This run spent:

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