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

#904 (May 16, 2017, 5:10:05 PM)

Changes
  1. prefer explicit output file: potentially more robust than stdout; (detail / hgweb)
  2. proper init_settings, before inspecting ML_HOME etc; (detail / hgweb)
  3. support for explicit output file: potentially more robust than stdout; (detail / hgweb)
  4. proper init_settings for init_component (before generated ML_OPTIONS etc.);
    fresh start for "Poly/ML 5.7 Linux", suppressing old builds with ML_OPTIONS="-H 500"; (detail / hgweb)

Started by an SCM change

This run spent:

  • 5 min 3 sec waiting;
  • 55 min build duration;
  • 1 hr 0 min total from scheduled to completion.
Revision: aa6e58dc54d02937f785981ccdc292d96c22d659
SRJobBuild #DurationConsole
main
isabelle-repo-makeallbuild #904( 54 min )Console Output
isabelle-repo-afpbuild #904( 2 min 21 sec )Console Output