Skip to content
Started 8 yr 1 mo ago
Took 1 min 47 sec on built-in
Failed

#202 (May 18, 2016, 12:26:11 PM)

Changes
  1. Fixed non-terminating metis proofs (detail / hgweb)

Started by an SCM change

Revision: 019480d288759e139db3c95e64eb8ca489424b13
Resume build
SRJobBuild #DurationConsole
main
afp-repo-afpbuild #202( 1 min 37 sec )Console Output