#1266 (Aug 26, 2020, 1:30:47 AM)

1. updated to scala-2.12.12; (detail / hgweb)
2. updated to polyml-test-a3cfdf648da: performance improvements for GC statistics; (detail / hgweb)
3. NEWS; (detail / hgweb)
4. test HOL-Nitpick_Examples with Isabelle/Scala instead of external process: much faster; (detail / hgweb)
5. updated to kodkodi-1.5.6: more robust treatment of interrupt; (detail / hgweb)
6. removed pointless version checks: Isabelle component integration does the job already; (detail / hgweb)
7. more robust treatment of execution with interrupts;
   tuned comments; (detail / hgweb)

Started by an SCM change

This run spent:

• 40 min waiting;
• 1 hr 28 min build duration;
• 2 hr 9 min total from scheduled to completion.