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

#434 (Sep 12, 2016, 10:38:14 PM)

Changes
  1. tuned; (detail / hgweb)
  2. tuned -- fewer warnings; (detail / hgweb)

Started by an SCM change

Revision: 0f5e735e364029fd14f1fe5cb48b0b743643d85b
SRJobBuild #DurationConsole
main
isabelle-repo-makeallbuild #434( 1 hr 10 min )Console Output
isabelle-repo-afpbuild #434( 1 hr 30 min )Console Output