Skip to content
Started 2 yr 10 mo ago
Took 22 min on workermta1
Success

#2835 (May 7, 2021, 7:38:08 PM)

Build Artifacts
Changes

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

  1. tuned comments; (detail / hgweb)
  2. misc updates and clarification; (detail / hgweb)
  3. clarified file name; (detail / hgweb)

Started by an SCM change

This run spent:

  • 2 min 4 sec waiting;
  • 22 min build duration;
  • 24 min total from scheduled to completion.
Revision: a037f01aedabbaaf54002213a93b2e785fdb495f
Revision: 3e3ac2ce98731293a4c9f860ccc704da65e2b37f