Started 12 hr ago
Took 2 hr 52 min on workermta1

Build #775 (Dec 8, 2022, 2:03:09 PM)

Changes
  1. Strengthened multiset lemmas w.r.t. irrefl and irreflp (detail / hgweb)
  2. tuned; (detail / hgweb)
  3. merged (detail / hgweb)
  4. clarified signature: just one level of arguments to avoid type-inference problems; (detail / hgweb)
  5. tuned signature: more operations; (detail / hgweb)
  6. tuned; (detail / hgweb)
  7. clarified signature; (detail / hgweb)

Started by an SCM change

This run spent:

  • 8.1 sec waiting;
  • 2 hr 52 min build duration;
  • 2 hr 52 min total from scheduled to completion.
Revision: ad2e3cfe1e9b44f3c8e83e26e06357214ee81ea9
Failed entries: