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

#406 (Sep 5, 2016, 11:00:06 AM)

Changes
  1. added warning (detail / hgweb)

Started by an SCM change

Revision: c882ba7412446e0c3f53a002e4011a78ba1c16ee
Resume build
SRJobBuild #DurationConsole
main
isabelle-repo-makeallbuild #406( 1 hr 10 min )Console Output
isabelle-repo-afpbuild #406( 1 hr 13 min )Console Output