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

#89 (Mar 14, 2016, 10:41:08 PM)

Changes
  1. generalized ML function (detail / hgweb)

Started by an SCM change

Revision: a1e73be79c0b15451208db0363818d773bfa45af
Resume build
SRJobBuild #DurationConsole
main
isabelle-repo-makeallbuild #89( 59 min )Console Output
isabelle-repo-afpbuild #89( 3 hr 2 min )Console Output