Skip to content
[Jenkins]Jenkins
log in
Started 8 yr 0 mo ago
Took 1 hr 15 min on built-in
Success

#264 (Jun 22, 2016, 7:02:08 PM)

Changes
  1. print statistics; tuned (detail / hgweb)

Started by an SCM change

Revision: 6c889fe495a22942e6400cc80f9c0c3ce2c5829b
SRJobBuild #DurationConsole
main
isabelle-repo-afpbuild #264( 1 hr 14 min )Console Output
isabelle-repo-makeallbuild #264( 1 hr 6 min )Console Output