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

#48 (Feb 13, 2016, 5:52:19 PM)

Changes
  1. merged (detail / hgweb)
  2. tuned names (detail / hgweb)
  3. finished some proofs about Comb (detail / hgweb)
  4. merge (detail / hgweb)
  5. checkin of COMB: COMB is an 1.6-competitive algorithm for the listupdate problem (detail / hgweb)

Started by an SCM change

Revision: 0a9c5741eca23aeac1670e8d79d89e2940e53b95
Resume build
SRJobBuild #DurationConsole
main
afp-repo-afpbuild #48( 2 hr 53 min )Console Output