Skip to content
[Jenkins]Jenkins
log in
Started 6 yr 7 mo ago
Took 1 hr 46 min on built-in
Success

#1174 (Sep 22, 2017, 6:58:06 PM)

Changes
  1. real oracle (detail / hgweb)

Started by an SCM change

This run spent:

  • 5 min 2 sec waiting;
  • 1 hr 46 min build duration;
  • 1 hr 51 min total from scheduled to completion.
Revision: fdab65297bd6fc32ee1e63a5e0229e20124e305e
SRJobBuild #DurationConsole
main
isabelle-repo-makeallbuild #1174( 1 hr 0 min )Console Output
isabelle-repo-afpbuild #1174( 1 hr 45 min )Console Output