Skip to content
[Jenkins]Jenkins
log in
Started 8 yr 1 mo ago
Took 2 min 30 sec on built-in
Failed

#188 (May 11, 2016, 3:26:08 AM)

Changes
  1. Bell_Numbers_Spivey: build on HOL-Library, rationalise ROOT (detail / hgweb)

Started by an SCM change

Revision: 397663e5327d70e24d531651d01c4d35a64f83ff
Resume build
SRJobBuild #DurationConsole
main
afp-repo-afpbuild #188( 2 min 18 sec )Console Output