Skip to content
Started 1 yr 7 mo ago
Took 3 hr 33 min on workermtahpc
Success

#3819 (Aug 2, 2022, 2:08:13 PM)

Changes

Mercurial (hg http://isabelle.in.tum.de/repos/isabelle/ default)

  1. merge (detail / hgweb)
  2. changed the order of Zipperposition slices in Sledgehammer (detail / hgweb)
  3. merged (detail / hgweb)
  4. The wellordering instantiation for length-ordered lists (detail / hgweb)

Started by an SCM change

This run spent:

  • 2 min 1 sec waiting;
  • 3 hr 33 min build duration;
  • 3 hr 35 min total from scheduled to completion.
Revision: dcd3ef2905d61cd0bbb04112cacc6b6f4702321b
Revision: f78309f3fd503fcd0e0921f3a83f1f00169d84f8