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

#32 (Feb 23, 2016, 6:43:05 PM)

Changes
  1. merged (detail / hgweb)
  2. resolved conflict (detail / hgweb)
  3. more canonical names (detail / hgweb)
  4. more canonical names (detail / hgweb)
  5. more canonical names (detail / hgweb)
  6. merged (detail / hgweb)
  7. merged; (detail / hgweb)
  8. support for polyml-git ec49a49972c5 (branch FixedPrecisionInt); (detail / hgweb)
  9. avoid outdated Process.interruptConsoleProcesses; (detail / hgweb)
  10. tuning (detail / hgweb)
  11. updated doc (detail / hgweb)
  12. tuning (detail / hgweb)
  13. Merge (detail / hgweb)
  14. New and revised material for (multivariate) analysis (detail / hgweb)

Started by an SCM change

Revision: d71774989c4a18dc1886a4672997c6dcaaadf329
Resume build
SRJobBuild #DurationConsole
main
isabelle-repo-makeallbuild #32( 1 hr 0 min )Console Output
isabelle-repo-afpbuild #32( 3 hr 8 min )Console Output