#1792 (Oct 14, 2022, 12:50:06 AM)

1. NEWS (detail / hgweb)
2. merged (detail / hgweb)
3. fixed NEWS following cee0b9fccf6f (detail / hgweb)
4. renamed lemma inj_on_strict_subset to image_strict_mono for symmetry with image_mono and to distinguish from inj_on_subset (detail / hgweb)
5. merged (detail / hgweb)
6. proper Deps.is_empty (amending 77327455b00d), e.g. relevant for warning "Nothing to build"; (detail / hgweb)
7. tuned whitespace; (detail / hgweb)
8. less ambitious Bytes.chunk_size, which is presumably more stable with memory management under heavy load; (detail / hgweb)
9. tuned comment; (detail / hgweb)
10. support for system option ML_system_apple: emulated x86_64 Poly/ML is sometimes more stable than native ARM64; (detail / hgweb)
11. updated to repository version polyml-test-bafe319bc3a6, which is presumably more stable (especially for ARM64); (detail / hgweb)
12. more robust: prefer Windows $USERNAME; (detail / hgweb)
13. proper home directory for ssh configuration (e.g. ~/.ssh/config);
    avoid redundant mkpasswd + mkgroup information, as recommended by Cygwin documentation; (detail / hgweb)
14. more NEWS; (detail / hgweb)
15. clarified signature: more arguments; (detail / hgweb)
16. added lemma fimage_strict_mono (detail / hgweb)

Started by an SCM change

This run spent:

• 5 sec waiting;
• 1 hr 52 min build duration;
• 1 hr 52 min total from scheduled to completion.