Skip to content
Started 10 mo ago
Took 4 hr 8 min on workermtahpc
Success

#4479 (May 27, 2023, 7:15:21 PM)

Changes

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

  1. merged (detail / hgweb)
  2. tuned signature; (detail / hgweb)
  3. clarified treatment of context; (detail / hgweb)
  4. clarified treatment of context; (detail / hgweb)
  5. more operations; (detail / hgweb)

Started by an SCM change

This run spent:

  • 3 min 19 sec waiting;
  • 4 hr 8 min build duration;
  • 4 hr 11 min total from scheduled to completion.
Revision: cc17e2f0f1fcdb8fff39d86224629901527779c2
Revision: d34609a6a678df256219065a9f8909137d70a923