Started 5 mo 12 days ago
Took 54 min on workermtahpc

Build #3710 (Jun 29, 2022, 10:38:04 PM)

Changes

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

  1. tuned proof (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: b8bd0189757857bde3a9d7f0f7618d81447ccb1e
Revision: 12de1f883dc06512622017db30f3d21f5ea91c8e