Started 4 hr 2 min ago
Took 2 hr 4 min on workermtahpc

Failed Build #416 (Nov 27, 2020 10:21:11 PM)

Changes
  1. merged (detail / hgweb)
  2. refined syntax for bundle mixins for locale and class specifications (detail / hgweb)
  3. store timings for used_theories in canonical order, with reconstructed store.read_theories; (detail / hgweb)
  4. More removal of apply (detail / hgweb)
  5. merged (detail / hgweb)
  6. merged (detail / hgweb)
  7. tuned (detail / hgweb)
  8. removed assumptions in lemma (Stepan Holub) (detail / hgweb)

Started by an SCM change

This run spent:

  • 9.3 sec waiting;
  • 2 hr 4 min build duration;
  • 2 hr 4 min total from scheduled to completion.
Revision: 8765ca252772eba79669fcfa92a7d42df60d2fe7
Failed entries: