Started 2 mo 0 days ago
Took 45 min on workermtahpc

Build #3818 (Aug 2, 2022, 1:20:03 PM)

Changes

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

  1. show sum_list defn (detail / hgweb)

Started by an SCM change

This run spent:

  • 2 min 1 sec waiting;
  • 45 min build duration;
  • 47 min total from scheduled to completion.
Revision: a480964ea704891c5675d8789e0f91a6055c867b
Revision: f78309f3fd503fcd0e0921f3a83f1f00169d84f8