Skip to content
[Jenkins]Jenkins
log in
Started 8 yr 1 mo ago
Took 3 hr 45 min on built-in
Success

#231 (Jun 8, 2016, 12:49:52 PM)

Changes
  1. repair Unicode mess-up in c493859d4267 (detail / hgweb)

Started by an SCM change

Revision: c7c76fa73a5656dd8caea1b0043bfa9303d85afc
SRJobBuild #DurationConsole
main
isabelle-repo-afpbuild #231( 3 hr 45 min )Console Output
isabelle-repo-makeallbuild #231( 1 hr 17 min )Console Output