Skip to content
[Jenkins]Jenkins
log in
Started 8 yr 4 mo ago
Took 56 min on built-in
Failed

#19 (Feb 17, 2016, 4:39:41 PM)

Changes
  1. adjust 112eefe85ff0 to 532ad8de5d61 (detail / hgweb)
  2. NEWS (detail / hgweb)

Started by an SCM change

Revision: e4e09a6e3922cb408ffb989939935babd60371ea
Resume build
SRJobBuild #DurationConsole
main
isabelle-repo-afpbuild #19( 3 min 6 sec )Console Output
isabelle-repo-makeallbuild #19( 55 min )Console Output