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

#530 (Oct 16, 2016, 9:32:44 PM)

Changes
  1. support for Non-Uniform Memory Access of separate CPU nodes; (detail / hgweb)
  2. proper result; (detail / hgweb)

Started by an SCM change

This run spent:

  • 5 min 1 sec waiting;
  • 1 hr 20 min build duration;
  • 1 hr 25 min total from scheduled to completion.
Revision: 42138702d6ec05f62660f2c8b702ac6e47c4a8ea
Resume build
SRJobBuild #DurationConsole
main
isabelle-repo-makeallbuild #530( 1 hr 17 min )Console Output
isabelle-repo-afpbuild #530( 1 hr 20 min )Console Output