Skip to content
Started 7 yr 11 mo ago
Took 51 min on built-in
Failed

#331 (Jul 16, 2016, 12:47:12 PM)

Changes
  1. adjust to isabelle cb0882cf150d (detail / hgweb)

Started by an SCM change

Revision: 86ae1115115a35c4ff1fe116ed6380a5000ae5ff
Resume build
SRJobBuild #DurationConsole
main
afp-repo-afpbuild #331( 51 min )Console Output