Started 1 mo 24 days ago
Took 44 min on workermtahpc

Build #3829 (Aug 7, 2022, 11:14:06 PM)

Changes

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

  1. tuned message; (detail / hgweb)

Started by an SCM change

This run spent:

  • 2 min 4 sec waiting;
  • 44 min build duration;
  • 46 min total from scheduled to completion.
Revision: 5e00c5ffc040fc83d62acb79d29ac9727c36cce0
Revision: 41e13807223424810ad0ce94599fea503f4f311c