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

#189 (May 11, 2016, 10:23:10 AM)

Changes
  1. theory Complete_Partial_Order2 is in HOL-Library (detail / hgweb)

Started by an SCM change

Revision: ffea2c11f25738f6a7d9d325610558996225b338
Resume build
SRJobBuild #DurationConsole
main
afp-repo-afpbuild #189( 12 hr )Console Output