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

#760 (Feb 17, 2017, 10:46:04 PM)

Changes
  1. removed obsolete test -- coincides with mainline version; (detail / hgweb)
  2. updated to polyml-5.7 pre-release from repository; (detail / hgweb)

Started by an SCM change

This run spent:

  • 5 min 1 sec waiting;
  • 1 hr 32 min build duration;
  • 1 hr 37 min total from scheduled to completion.
Revision: 6be69d6881cd829a29f9c68a89acc9342970e61d
SRJobBuild #DurationConsole
main
isabelle-repo-makeallbuild #760( 1 hr 12 min )Console Output
isabelle-repo-afpbuild #760( 1 hr 32 min )Console Output