#1313 (Oct 24, 2020, 12:50:08 AM)

1. index for https://isabelle.in.tum.de/components (or clones); (detail / hgweb)
2. enforce strict nesting of local theories (detail / hgweb)

Started by an SCM change

This run spent:

• 7.9 sec waiting;
• 1 hr 28 min build duration;
• 1 hr 28 min total from scheduled to completion.