#1969 (Jun 8, 2023, 12:50:08 AM)

1. Added tag Isabelle2023-RC0 for changeset f4221ae7544c (detail / hgweb)
2. updated to zstd-jni-1.5.5-4; (detail / hgweb)
3. updated to postgresql-42.6.0; (detail / hgweb)
4. back to more concise build_release, thanks to build_host_macos = "mini3"; (detail / hgweb)
5. more PLATFORMS; (detail / hgweb)
6. updated for release; (detail / hgweb)
7. tuned NEWS; (detail / hgweb)
8. more realistic factor; (detail / hgweb)
9. proper trim_context; (detail / hgweb)
10. proper exception positions; (detail / hgweb)
11. proper trim_context / transfer, e.g. for Specification.definition; (detail / hgweb)
12. tuned; (detail / hgweb)
13. tuned; (detail / hgweb)
14. tuned signature: more operations; (detail / hgweb)
15. minor performance tuning: avoid append to end-of-list; (detail / hgweb)

Started by an SCM change

This run spent:

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