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

#423 (Sep 8, 2016, 6:30:06 PM)

Changes
  1. option "checkpoint" helps to fine-tune global heap space management; (detail / hgweb)

Started by an SCM change

Revision: b24d0e53dd03264047f99be86fed64673c44d36d
Resume build
SRJobBuild #DurationConsole
main
isabelle-repo-makeallbuild #423( 1 hr 4 min )Console Output
isabelle-repo-afpbuild #423( 1 hr 25 min )Console Output