#2032 (Oct 15, 2023, 2:10:56 AM)

1. more NEWS; (detail / hgweb)
2. tuned structure; (detail / hgweb)
3. update platforms: discontinue macOS 10.13 High Sierra, macOS 10.14 Mojave, macOS 10.15 Catalina; (detail / hgweb)
4. updated to official release of polyml-5.9.1, based on Ubuntu 18.04 LTS and macOS 11 Big Sur; (detail / hgweb)
5. proper options for macOS 11 Big Sur; (detail / hgweb)
6. support for official release of polyml-5.9.1; (detail / hgweb)
7. updated Linux baseline to Ubuntu 18.04; (detail / hgweb)
8. support for macOS 14 Sonoma (only for testing); (detail / hgweb)
9. more platform tests: initial support for macOS 14 Sonoma; (detail / hgweb)
10. updated to gmp-6.3.0, for the sake of macOS 14 Sonoma; (detail / hgweb)

Started by an SCM change

This run spent:

• 1 hr 20 min waiting;
• 2 hr 3 min build duration;
• 3 hr 24 min total from scheduled to completion.