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

#149 (Apr 14, 2016, 5:00:43 PM)

Changes
  1. change is incompatible (detail / hgweb)

Started by an SCM change

Revision: 38906f0e4633a23ac2d0ad3ce9eb7601a642ed19
Resume build
SRJobBuild #DurationConsole
main
isabelle-repo-makeallbuild #149( 1 hr 14 min )Console Output
isabelle-repo-afpbuild #149( 1 min 30 sec )Console Output