#5114 (Mar 25, 2024, 3:48:46 PM)

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

1. merged (detail / hgweb)
2. more accurate platform directories: pkg/tool structure is hardwired in "go"; (detail / hgweb)
3. support for etc/platform.props, to specify multi-platform directory structure more accurately; (detail / hgweb)
4. clarified signature; (detail / hgweb)
5. tuned; (detail / hgweb)
6. clarified modules; (detail / hgweb)
7. clarified modules; (detail / hgweb)
8. build Isabelle component for Go: all platforms; (detail / hgweb)
9. misc tuning; (detail / hgweb)
10. just one copy of darwin-universal.tar.gz; (detail / hgweb)

Started by an SCM change

This run spent:

• 2 min 2 sec waiting;
• 13 min build duration;
• 15 min total from scheduled to completion.