Skip to content
[Jenkins]Jenkins
log in
Started 8 yr 4 mo ago
Took 2 hr 43 min on built-in
Success

#73 (Feb 21, 2016, 1:08:10 PM)

Changes
  1. merge (detail / hgweb)
  2. finishing off TS (detail / hgweb)
  3. work on pairwise TS proof finished (detail / hgweb)
  4. worked off some proofs in pairwise TS (detail / hgweb)
  5. worked off 2 cases for pairwise TS (detail / hgweb)

Started by an SCM change

Revision: 8fe5db52c8f427f61e0f313a4b80344cfa0230f4
SRJobBuild #DurationConsole
main
afp-repo-afpbuild #73( 2 hr 43 min )Console Output