#4280 (Feb 5, 2023, 3:33:01 PM)

Mercurial (hg http://isabelle.in.tum.de/repos/isabelle/ default)

1. update to polyml-5e9c8155ea96, which is more robust on arm64; (detail / hgweb)
2. more robust dependencies for Pure; (detail / hgweb)
3. proper compiler root for arm64; (detail / hgweb)

Started by an SCM change

This run spent:

• 2 min 4 sec waiting;
• 4 hr 7 min build duration;
• 4 hr 9 min total from scheduled to completion.