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

#422 (Sep 8, 2016, 12:09:04 PM)

Changes
  1. made it easier to catch 'empty datatype' exception (detail / hgweb)

Started by an SCM change

Revision: 9321b3d50abdd444bbd3e838e1ed46c887cdf6cf
SRJobBuild #DurationConsole
main
isabelle-repo-makeallbuild #422( 1 hr 10 min )Console Output
isabelle-repo-afpbuild #422( 1 hr 28 min )Console Output