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

#412 (Sep 5, 2016, 9:09:06 PM)

Changes
  1. exported ML functions (detail / hgweb)

Started by an SCM change

Revision: dbda3556d495e068e073f4a6e23ecf42f0c626e1
Resume build
SRJobBuild #DurationConsole
main
isabelle-repo-afpbuild #412( 1 hr 27 min )Console Output
isabelle-repo-makeallbuild #412( 1 hr 8 min )Console Output