Skip to content
Started 7 yr 8 mo ago
Took 1 hr 26 min on built-in
Success

#598 (Nov 1, 2016, 1:28:04 AM)

Changes
  1. back to post-release mode -- after fork point; (detail / hgweb)
  2. tuned; (detail / hgweb)
  3. updated to new cronjob; (detail / hgweb)
  4. build_release on lxbroy10 appears to work, including latex and remote_dmg; (detail / hgweb)
  5. misc tuning and modernization; (detail / hgweb)

Started by an SCM change

This run spent:

  • 5 min 1 sec waiting;
  • 1 hr 26 min build duration;
  • 1 hr 31 min total from scheduled to completion.
Revision: 2bafda87b524f133636cb59284580c16e4cff872
SRJobBuild #DurationConsole
main
isabelle-repo-afpbuild #598( 4 min 27 sec )Console Output
isabelle-repo-makeallbuild #598( 59 min )Console Output