Started 1 day 5 hr ago
Took 11 hr on workerlrz5

Build #2083 (Oct 3, 2022, 1:33:08 AM)

Build Artifacts
Expand all Collapse all
Changes

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

  1. back to post-release mode -- after fork point; (detail)
  2. Added tag Isabelle2022-RC3 for changeset d704efeb01db (detail)
  3. proper cygwin component (see d042947e47a3) (detail)
  4. proper base names; (detail)
  5. suppress command echo in output; (detail)
  6. include openssh for rsync (see also a1c7829ac2de); (detail)
  7. provide naproche-20221002; (detail)

Started by an SCM change

This run spent:

  • 6.3 sec waiting;
  • 11 hr build duration;
  • 11 hr total from scheduled to completion.
Revision: 6ab4bb7cb8b2cb6d85c564b75fa29cef0aace417
Revision: a74db29363f55df91b0afda8fc90196b0994ea1e