Skip to content
Started 10 mo ago
Took 4 hr 9 min on workermtahpc
Failed

#4463 (May 10, 2023, 11:48:21 PM)

Changes

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

  1. proper Thm.trim_context / Thm.transfer; (detail / hgweb)
  2. proper Thm.trim_context / Thm.transfer; (detail / hgweb)
  3. tuned; (detail / hgweb)
  4. tuned Isabelle/ML; (detail / hgweb)
  5. more informative position information; (detail / hgweb)
  6. tuned; (detail / hgweb)
  7. more informative position information; (detail / hgweb)
  8. clarified context tracing;
    proper finish: purge inactive entries; (detail / hgweb)
  9. more operations; (detail / hgweb)
  10. proper system options to control context tracing/timing; (detail / hgweb)

Started by an SCM change

This run spent:

  • 3 min 18 sec waiting;
  • 4 hr 9 min build duration;
  • 4 hr 12 min total from scheduled to completion.
Revision: 4bb7eb16b867f7ffa785d2a45c253f3c5b1bf5ca
Revision: b07ef065d5d2991722e40ea3e21fc6b9d8b33482
Failed entries: