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

#1431 (Jan 23, 2018, 9:22:07 PM)

Changes
  1. merged (detail / hgweb)
  2. treat sessions as entities with defining position;
    tuned signature; (detail / hgweb)
  3. options file for x86_64 only (amending 03a96b8c7c06); (detail / hgweb)
  4. updated to jdk-8u162; (detail / hgweb)
  5. more robust java.ext.dirs: avoid picking up accidental jars from system directories; (detail / hgweb)

Started by an SCM change

This run spent:

  • 5 min 4 sec waiting;
  • 2 hr 7 min build duration;
  • 2 hr 12 min total from scheduled to completion.
Revision: b8e093f7a802e463efe8228975faadacd2596284
SRJobBuild #DurationConsole
main
isabelle-repo-makeallbuild #1431( 1 hr 0 min )Console Output
isabelle-repo-afpbuild #1431( 1 hr 42 min )Console Output