Skip to content
Started 1 yr 7 mo ago
Took 43 min on workermtahpc
Success

#3833 (Aug 8, 2022, 9:08:04 PM)

Changes

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

  1. Added tag Isabelle2022-RC0 for changeset b42e20adaeed (detail / hgweb)
  2. proper Java/Scala compiler classpath for standalone application (see also make_isabelle_app() in Pure/Admin/build_release.scala); (detail / hgweb)

Started by an SCM change

This run spent:

  • 2 min 2 sec waiting;
  • 43 min build duration;
  • 45 min total from scheduled to completion.
Revision: 8b0dbfbde0320e5b167ce1cb899dd00c88945aa7
Revision: 41e13807223424810ad0ce94599fea503f4f311c