Skip to content
[Jenkins]Jenkins
log in
Started 8 yr 0 mo ago
Took 59 min on built-in
Success

#287 (Jun 26, 2016, 9:47:09 PM)

Changes
  1. merged (detail / hgweb)
  2. updated to 'define'; (detail / hgweb)
  3. tuned proofs; (detail / hgweb)

Started by an SCM change

Revision: 23285fee7975efdc3d2b11429842383b4a051625
SRJobBuild #DurationConsole
main
afp-repo-afpbuild #287( 59 min )Console Output