Skip to content
Started 1 yr 3 mo ago
Took 9 min 59 sec on workermtahpc
Success

#4118 (Dec 5, 2022, 12:42:19 PM)

Changes

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

  1. tuned messages and options; (detail / hgweb)

Started by an SCM change

This run spent:

  • 3 min 16 sec waiting;
  • 9 min 59 sec build duration;
  • 13 min total from scheduled to completion.
Revision: c7f3e94fce7b48f0d7782d09e50ec44e046dfc7d
Revision: bab4d1b384672560e6971b1707bcf99b2e7fae9b