Started 1 mo 18 days ago
Took 3 hr 29 min on workermtahpc

Build #3698 (Jun 25, 2022, 6:44:04 PM)

Changes

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

  1. prefer antiquotations; (detail)
  2. clarified modules; (detail)
  3. more documentation; (detail)
  4. merged (detail)
  5. tuned whitespace; (detail)
  6. clarified signature: File.read_lines is based on scalable Bytes.T;
    discontinued somewhat pointless File.fold_lines; (detail)
  7. clarified modules; (detail)
  8. prefer scalable Bytes.T; (detail)
  9. unused; (detail)
  10. prefer scalable Bytes.T; (detail)

Mercurial (hg https://foss.heptapod.net/isa-afp/afp-devel/ default)

  1. merged (detail)
  2. avoid hardwired pdf; (detail)
  3. adapted to Isabelle/986506233812; (detail)

Started by an SCM change

This run spent:

  • 2 min 2 sec waiting;
  • 3 hr 29 min build duration;
  • 3 hr 31 min total from scheduled to completion.
Revision: aeb4120657429330d13ef8024f56b808ada20a53
Revision: f8a002855e5e63ede7363789d7900cedc3a5ad93