#1588 (Nov 2, 2021, 12:50:10 AM)

1. tuned; (detail / hgweb)
2. support linux_arm as well, e.g. native Docker on Apple Silicon; (detail / hgweb)
3. update paths at TUM; (detail / hgweb)
4. Added tag Isabelle2021-1-RC1 for changeset 81cc8f2ea9e7 (detail / hgweb)
5. updated for release; (detail / hgweb)
6. some reordering for release; (detail / hgweb)
7. updated to jdk-17.0.1+12; (detail / hgweb)
8. tuned message; (detail / hgweb)

Started by an SCM change

This run spent:

• 9.1 sec waiting;
• 1 hr 39 min build duration;
• 1 hr 39 min total from scheduled to completion.