Started 6 hr 48 min ago
Took 3 hr 31 min on workermtahpc

Build #3735 (Jul 5, 2022, 11:14:07 PM)

Changes

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

  1. added lemmas total_on_trancl and totalp_on_tranclp (detail)

Started by an SCM change

This run spent:

  • 2 min 4 sec waiting;
  • 3 hr 31 min build duration;
  • 3 hr 33 min total from scheduled to completion.
Revision: c4a1088d008180bfd82ff93a32e709778518f25b
Revision: 18281e769389ad099e843726599d17a3df51e04f