#808 (Mar 25, 2024, 3:47:06 PM)

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

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

Started by an SCM change

This run spent:

• 2 min 4 sec waiting;
• 1 min 25 sec build duration;
• 3 min 29 sec total from scheduled to completion.

• refs/remotes/origin/master