Skip to content
[Jenkins]Jenkins
log in
Started 1 yr 0 mo ago
Took 26 sec on workerls211
Failed

#345 (May 10, 2023, 11:48:03 PM)

Changes

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

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

Started by an SCM change

This run spent:

  • 2 min 0 sec waiting;
  • 26 sec build duration;
  • 2 min 27 sec total from scheduled to completion.
Revision: 4bb7eb16b867f7ffa785d2a45c253f3c5b1bf5ca
Revision: b07ef065d5d2991722e40ea3e21fc6b9d8b33482
Revision: 5f4aa37e3b486e6a77ccd50520939ea51d40ed9d
Repository: https://github.com/isabelle-prover/isabelle-context-build.git
  • refs/remotes/origin/master