#2163 (Mar 26, 2024, 12:50:08 AM)

1. obsolete: base-line is macOS 11; (detail / hgweb)
2. more robust: always assume x86_64 (or its emulation on ARM); (detail / hgweb)
3. MLton lacks arm64-linux (see also 84f2d481d6d7); (detail / hgweb)
4. more ambitious test "AFP (macOS 14 Sonoma, Apple Silicon)", as replacement for AFP on lrzcloud2; (detail / hgweb)
5. update to stack-2.15.3, stackage-lts-22.6, ghc-9.6.4; (detail / hgweb)
6. tuned; (detail / hgweb)
7. merged (detail / hgweb)
8. misc updates, tuning and clarification; (detail / hgweb)
9. reformat source in jEdit (wrap margin 78); (detail / hgweb)
10. more accurate Markdown formatting, both for VSCode and Phabricator; (detail / hgweb)
11. just one README.md; (detail / hgweb)
12. tuned (detail / hgweb)
13. merged (detail / hgweb)
14. more accurate platform directories: pkg/tool structure is hardwired in "go"; (detail / hgweb)
15. support for etc/platform.props, to specify multi-platform directory structure more accurately; (detail / hgweb)
16. clarified signature; (detail / hgweb)
17. tuned; (detail / hgweb)
18. clarified modules; (detail / hgweb)
19. clarified modules; (detail / hgweb)
20. build Isabelle component for Go: all platforms; (detail / hgweb)
21. misc tuning; (detail / hgweb)
22. just one copy of darwin-universal.tar.gz; (detail / hgweb)
23. documented running time function framework by Jonas Stahl (detail / hgweb)
24. merged (detail / hgweb)
25. redefined wf as an abbreviation for "wf_on UNIV" (detail / hgweb)

Started by an SCM change

This run spent:

• 6.6 sec waiting;
• 2 hr 10 min build duration;
• 2 hr 10 min total from scheduled to completion.