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

#346 (Jul 25, 2016, 2:05:11 PM)

Changes
  1. merged (detail / hgweb)
  2. tuned proofs -- avoid improper use of "this"; (detail / hgweb)
  3. tuned; (detail / hgweb)
  4. tuned; (detail / hgweb)

Started by an SCM change

Revision: 4f3f5fe3f628a259845f032c6731e3353cebc0eb
SRJobBuild #DurationConsole
main
afp-repo-afpbuild #346( 1 hr 14 min )Console Output