Skip to content
Started 10 mo ago
Took 11 sec on workerls211
Failed

#347 (May 11, 2023, 3:21:06 PM)

Changes

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

  1. more robust: after shutdown; (detail)
  2. proper exception CONTEXT for Context.certificate_theory; (detail)
  3. more diagnostic operations; (detail)
  4. tuned spelling; (detail)
  5. more standard treatment of data and context; (detail)
  6. more standard val silent = Attrib.setup_config_bool; (detail)
  7. tuned; (detail)

Started by an SCM change

This run spent:

  • 2 min 4 sec waiting;
  • 11 sec build duration;
  • 2 min 15 sec total from scheduled to completion.
Revision: 37085099e4151fb0c8684de7322fe93890857013
Revision: ad29f283d9c5d7d35480981802e11c24fc52f5d7
Revision: 5f4aa37e3b486e6a77ccd50520939ea51d40ed9d
Repository: https://github.com/isabelle-prover/isabelle-context-build.git
  • refs/remotes/origin/master