#1009 (Mar 26, 2024, 9:33:11 AM)

1. added lemmas wfp_on_inv_imagep, wfp_on_if_convertible_to_wfp_on, and wf_on_if_convertible_to_wf_on (detail / hgweb)
2. merged (detail / hgweb)
3. obsolete: base-line is macOS 11; (detail / hgweb)
4. more robust: always assume x86_64 (or its emulation on ARM); (detail / hgweb)
5. MLton lacks arm64-linux (see also 84f2d481d6d7); (detail / hgweb)
6. more ambitious test "AFP (macOS 14 Sonoma, Apple Silicon)", as replacement for AFP on lrzcloud2; (detail / hgweb)
7. update to stack-2.15.3, stackage-lts-22.6, ghc-9.6.4; (detail / hgweb)
8. tuned; (detail / hgweb)
9. merged (detail / hgweb)
10. misc updates, tuning and clarification; (detail / hgweb)
11. reformat source in jEdit (wrap margin 78); (detail / hgweb)
12. more accurate Markdown formatting, both for VSCode and Phabricator; (detail / hgweb)
13. just one README.md; (detail / hgweb)

Started by an SCM change

This run spent:

• 8.9 sec waiting;
• 5 hr 4 min build duration;
• 5 hr 4 min total from scheduled to completion.