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

#333 (Jul 29, 2016, 8:03:03 PM)

Changes
  1. made generation of transfer goals more robust w.r.t. dead variables (detail / hgweb)

Started by an SCM change

Revision: 91f03f3b64703305366e165e6515566fb1393f09
SRJobBuild #DurationConsole
main
isabelle-repo-makeallbuild #333( 1 hr 10 min )Console Output
isabelle-repo-afpbuild #333( 1 hr 18 min )Console Output