Started 2 mo 1 day ago
Took 1 hr 16 min on workermtahpc

Success Build #171 (Feb 21, 2019 5:03:12 AM)

Build Artifacts
Changes
  1. expose reader in ML_Lex (detail / hgweb)
  2. physical vs. logical events, the latter takes GC time into account;
    Timeout.apply is based on logical ML time; (detail / hgweb)
  3. misc tuning and clarification; (detail / hgweb)
  4. misc tuning and clarification; (detail / hgweb)
  5. tuned; (detail / hgweb)
  6. updated to polyml-5.8-20190220 (pre-release of Poly/ML 5.8); (detail / hgweb)
  7. dropped junk (detail / hgweb)
  8. suppress nodes with vacuous status, notably empty nodes (amending 5f160df596c1); (detail / hgweb)
  9. tuned; (detail / hgweb)
  10. more robust: avoid potentially unrelated snapshot for the sake of is_suppressed; (detail / hgweb)
  11. clarified Node_Status vs. is_suppressed, e.g. relevant for purged nodes in Theories_Dockable after 0626cae56b6f; (detail / hgweb)
  12. updated to polyml-test-8fda4fd22441; (detail / hgweb)
  13. proper installation of ancient procedure for preorders (detail / hgweb)
  14. CONTRIBUTORS (detail / hgweb)
  15. more idiomatic style for local declarations in apply scripts (detail / hgweb)

Started by an SCM change

This run spent:

  • 7.6 sec waiting;
  • 1 hr 16 min build duration;
  • 1 hr 16 min total from scheduled to completion.
Revision: 9f9b36b447d68b732c093d7c32b04eaed1806ac9