Skip to content
[Jenkins]Jenkins
log in
Started 7 yr 10 mo ago
Took 1 hr 22 min on built-in
Success

#361 (Aug 10, 2016, 11:00:06 AM)

Changes
  1. "split add" -> "split" (detail / hgweb)

Started by an SCM change

Revision: f9f3006a5579b2b686eaa1b2f0f2979c13aacad8
SRJobBuild #DurationConsole
main
isabelle-repo-afpbuild #361( 1 hr 21 min )Console Output
isabelle-repo-makeallbuild #361( 1 hr 0 min )Console Output