Skip to content
Started 7 yr 1 mo ago
Took 58 min on built-in
Failed

#910 (May 20, 2017, 8:58:06 PM)

Changes
  1. updated to sqlite-jdbc-3.18.0; (detail / hgweb)
  2. keep main build.log to help diagnosing spurious lack of log_path.xz; (detail / hgweb)

Started by an SCM change

This run spent:

  • 5 min 3 sec waiting;
  • 58 min build duration;
  • 1 hr 3 min total from scheduled to completion.
Revision: 5fec47b87bc6ff096e99272585eb8e5c9bc9bd8f
Resume build
SRJobBuild #DurationConsole
main
isabelle-repo-makeallbuild #910( 58 min )Console Output
isabelle-repo-afpbuild #910( 2 min 16 sec )Console Output