Skip to content
Started 8 yr 2 mo ago
Took 3 hr 38 min on built-in
Success

#161 (Apr 15, 2016, 6:08:47 PM)

Changes
  1. full test for Flyspeck-Tame; get rid of ISABELLE_FULL_TEST (detail / hgweb)

Started by an SCM change

Revision: cac201d3f3f938023512103292c8ac3ca4ff7452
SRJobBuild #DurationConsole
main
afp-repo-afpbuild #161( 3 hr 38 min )Console Output