#2113 (Jan 31, 2024, 12:50:09 AM)

1. proper accessible paths for web server; (detail / hgweb)
2. more informative message (amending b8a6b2ec85a2); (detail / hgweb)
3. merged (detail / hgweb)
4. more robust: do not affect "$ISABELLE_HOME_USER/contrib" on master node; (detail / hgweb)
5. avoid excessive ML heap on this 16GB node; (detail / hgweb)
6. more robust (amending c9774306a879); (detail / hgweb)
7. proper ISABELLE_PLATFORM_FAMILY within Isabelle/Scala, in contrast to historic settings; (detail / hgweb)
8. clarified symbolic host name; (detail / hgweb)
9. allow remote_build on this host (server-arm), without conflicts of this "isabelle_self"; (detail / hgweb)
10. more robust message; (detail / hgweb)
11. A few more new theorems taken from AFP entries (detail / hgweb)

Started by an SCM change

This run spent:

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