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

#41 (Feb 26, 2016, 4:06:22 PM)

Changes
  1. generalized ML function (detail / hgweb)
  2. Merged (detail / hgweb)
  3. Tuned Euclidean Ring instance for polynomials (detail / hgweb)
  4. Merged (detail / hgweb)
  5. Merged (detail / hgweb)
  6. Tuned Euclidean rings (detail / hgweb)

Started by an SCM change

Revision: 6dce7bf7960becde9cb44ef3b5c109d26da16f21
Resume build
SRJobBuild #DurationConsole
main
isabelle-repo-afpbuild #41( 2 hr 59 min )Console Output
isabelle-repo-makeallbuild #41( 59 min )Console Output