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

#56 (Mar 1, 2016, 5:04:17 PM)

Changes
  1. merged (detail / hgweb)
  2. merged (detail / hgweb)
  3. removed obsolete chmod: isabelle_process no longer supports writable heaps; (detail / hgweb)
  4. redundant -- already provided by Poly/ML toplevel; (detail / hgweb)
  5. prefer bash_process; (detail / hgweb)
  6. only one nested bash process (NB: OS.System = vfork + exec /bin/sh in RTS is faster than Posix.Process.fork/exec in ML); (detail / hgweb)

Started by an SCM change

Revision: bd7358b3ab5ef92b71a22ed528442e98365e8a3c
Resume build
SRJobBuild #DurationConsole
main
isabelle-repo-afpbuild #56( 1 min 29 sec )Console Output
isabelle-repo-makeallbuild #56( 1 hr 2 min )Console Output