Skip to content
Started 3 hr 3 min ago
Took 14 min on workermtahpc

#5005 (Feb 22, 2024, 10:12:50 PM)

Changes

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

  1. more thorough Store.clean_output (amending 1fa1b32b0379); (detail / hgweb)
  2. clarified signature: Build_Process tells how to clean sessions; (detail / hgweb)
  3. clarified signature; (detail / hgweb)
  4. tuned; (detail / hgweb)
  5. tuned; (detail / hgweb)
  6. minor performance tuning; (detail / hgweb)
  7. tuned; (detail / hgweb)

Started by an SCM change

This run spent:

  • 3 min 48 sec waiting;
  • 14 min build duration;
  • 17 min total from scheduled to completion.
Revision: 5044f1d9196d0ea9c214a7255f359c608eeda524
Revision: 9fe22db3f8a8ca66e6e0eec617cdbb843dcd4b93