Started 21 days ago
Took 1 hr 10 min on workermtahpc

Failed Build #133 (Nov 19, 2018 1:42:12 PM)

Build Artifacts
Changes
  1. Retired lemma card_Union_image; use the simpler card_UN_disjoint instead. (detail / hgweb)
  2. removed legacy input syntax (detail / hgweb)

Started by an SCM change

This run spent:

  • 7.9 sec waiting;
  • 1 hr 10 min build duration;
  • 1 hr 10 min total from scheduled to completion.
Revision: 248696d0a05f08ea74f2330bdc2e9ee40a32e057
Failed entries: