Skip to content
Started 1 yr 8 mo ago
Took 54 min on workermtahpc
Success

#3737 (Jul 6, 2022, 1:14:04 PM)

Changes

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

  1. minor performance tuning: avoid redundant BigInt construction; (detail)

Started by an SCM change

This run spent:

  • 2 min 1 sec waiting;
  • 54 min build duration;
  • 56 min total from scheduled to completion.
Revision: ea4f5b0ef497365b6c0b0012f006a3237ab6f1f6
Revision: cfb6849889bb21294d3d4713440a160f36ee7cc2