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

#505 (Oct 7, 2016, 9:43:06 PM)

Changes
  1. merged (detail / hgweb)
  2. accept obscure timezone used in 2011; (detail / hgweb)
  3. more liberal parsing for old AFP logs; (detail / hgweb)
  4. more operations; (detail / hgweb)
  5. more permissive timing data; (detail / hgweb)
  6. more permissive for old logs; (detail / hgweb)
  7. more uniform regexps; (detail / hgweb)
  8. clarified status: started sessions may bomb without explicit FAILED or CANCELLED (cf. in afp-test-devel-2016-01-03.log); (detail / hgweb)
  9. clarified parse_build_info: isabelle build output;
    clarified Session_Status;
    tuned signature; (detail / hgweb)
  10. more operations; (detail / hgweb)
  11. more operations; (detail / hgweb)
  12. clarified signature; (detail / hgweb)
  13. more uniform treatment of settings; (detail / hgweb)
  14. clarified modules;
    CI_Profile: show all settings; (detail / hgweb)
  15. tuned; (detail / hgweb)
  16. more official legacy status; (detail / hgweb)

Started by an SCM change

This run spent:

  • 5 min 1 sec waiting;
  • 1 hr 30 min build duration;
  • 1 hr 35 min total from scheduled to completion.
Revision: f09f377da49d2bc122280e14284eb3f66e4e8029
SRJobBuild #DurationConsole
main
isabelle-repo-makeallbuild #505( 1 hr 20 min )Console Output
isabelle-repo-afpbuild #505( 1 hr 30 min )Console Output