Skip to content
Started 7 yr 6 mo ago
Took 55 min on built-in
Success

#661 (Jan 1, 2017, 1:50:04 PM)

Changes
  1. more configuration; (detail / hgweb)
  2. automatically build session image; (detail / hgweb)
  3. tuned signature; (detail / hgweb)
  4. just one synchronized access to global state: works recursively on JVM;
    tuned; (detail / hgweb)
  5. clarified modules; (detail / hgweb)
  6. clarified file URI operations; (detail / hgweb)

Started by an SCM change

This run spent:

  • 5 min 2 sec waiting;
  • 55 min build duration;
  • 1 hr 0 min total from scheduled to completion.
Revision: 12558536d977c71e598edc2eca9979fbd5bbf1f0
SRJobBuild #DurationConsole
main
isabelle-repo-afpbuild #661( 2 min 43 sec )Console Output
isabelle-repo-makeallbuild #661( 55 min )Console Output