Skip to content
[Jenkins]Jenkins
log in
Started 4 mo 29 days ago
Took 1 hr 59 min on workerls21cluster
Success

#560 (Nov 29, 2023, 10:15:03 PM)

Changes

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

  1. merged (detail)
  2. more compact representation of theory_id -- via consecutive thread-local ids; (detail)
  3. misc tuning and clarification; (detail)
  4. more compact representation; (detail)
  5. more compact representation; (detail)
  6. tuned signature; (detail)
  7. more compact representation of theory_id; (detail)
  8. tuned signature; (detail)
  9. compact representation of sets of integers; (detail)

Started by an SCM change

This run spent:

  • 2 min 0 sec waiting;
  • 1 hr 59 min build duration;
  • 2 hr 1 min total from scheduled to completion.
Revision: 722937a213efddf9e871304d4fe956629e6f0a9b
Revision: 41e34fa525fe9361b8f9ba72caef335b0cb9b567