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

#358 (Aug 9, 2016, 9:11:33 PM)

Changes
  1. more operations; (detail / hgweb)
  2. merged; (detail / hgweb)
  3. print name in parsable form; (detail / hgweb)
  4. clarified bootstrap; (detail / hgweb)

Started by an SCM change

Revision: d83a1eeff9d2b4293747e35a22c8adc88c8d5e5a
SRJobBuild #DurationConsole
main
isabelle-repo-makeallbuild #358( 1 hr 7 min )Console Output
isabelle-repo-afpbuild #358( 1 hr 22 min )Console Output