#453 (Oct 23, 2017, 12:50:09 AM)

1. tuned output; (detail / hgweb)
2. updated test version; (detail / hgweb)
3. merged (detail / hgweb)
4. auto update; (detail / hgweb)
5. more recent polyml-test version; (detail / hgweb)
6. parallel remote_builds2 for the sake of "AFP slow" (with theoretical data race on build_log_dirs); (detail / hgweb)
7. tuned; (detail / hgweb)
8. clarified signature; (detail / hgweb)
9. tuned: build hg_graph only once;
   tuned signature; (detail / hgweb)
10. tuned (detail / hgweb)
11. derived axiom iffI as a lemma (thanks to Alexander Maletzky) (detail / hgweb)

Started by an SCM change

This run spent:

• 7.3 sec waiting;
• 1 hr 17 min build duration;
• 1 hr 17 min total from scheduled to completion.