Skip to content
Started 1 yr 6 mo ago
Took 11 hr on workerlrz5
Success

#2062 (Sep 12, 2022, 1:33:08 AM)

Build Artifacts
Changes

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

  1. unused; (detail)
  2. clarified operation: avoid perl; (detail)
  3. discontinued unused operations; (detail)
  4. clarified signature: avoid exposure of JSch types; (detail)
  5. clarified signature: discontinue somewhat pointless SSH.Context; (detail)
  6. tuned; (detail)
  7. proper path; (detail)
  8. Added tag Isabelle2022-RC1 for changeset 6308eaaa88f1 (detail)

Started by an SCM change

This run spent:

  • 6.5 sec waiting;
  • 11 hr build duration;
  • 11 hr total from scheduled to completion.
Revision: e5cfb05d312ee1d59130411be6f54c0d3a1d6e19
Revision: 34a31d29f666dd38a31dd7817d6f44e70079de2b