#4494 (Jun 7, 2023, 4:00:25 PM)

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

1. updated to zstd-jni-1.5.5-4; (detail / hgweb)
2. updated to postgresql-42.6.0; (detail / hgweb)
3. back to more concise build_release, thanks to build_host_macos = "mini3"; (detail / hgweb)
4. more PLATFORMS; (detail / hgweb)
5. updated for release; (detail / hgweb)

Started by an SCM change

This run spent:

• 3 min 22 sec waiting;
• 11 min build duration;
• 15 min total from scheduled to completion.