#1586 (Oct 31, 2021, 12:50:10 AM)

1. more robust; (detail / hgweb)
2. provide native executables for arm64-darwin, for more robust startup without Rosetta 2; (detail / hgweb)
3. tuned proofs -- avoid z3, which is unavailable on arm64-linux; (detail / hgweb)
4. prefer "sat_solver = MiniSat", to make examples work uniformly on all platforms; (detail / hgweb)
5. discontinued pointless check of kodkodi_version, it is implicit in the bundled component; (detail / hgweb)
6. tuned proofs -- avoid z3, which is unavailable on arm64-linux; (detail / hgweb)
7. tuned; (detail / hgweb)
8. test version of prespective polyml-5.9; (detail / hgweb)
9. clarified antiquotations; (detail / hgweb)
10. updated for pre-5.9 testing; (detail / hgweb)
11. clarified antiquotations; (detail / hgweb)
12. clarified antiquotations; (detail / hgweb)

Started by an SCM change

This run spent:

• 9.3 sec waiting;
• 1 hr 38 min build duration;
• 1 hr 39 min total from scheduled to completion.