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

#828 (Apr 5, 2017, 3:37:22 PM)

Changes
  1. store totality fact in function info (detail / hgweb)

Started by an SCM change

This run spent:

  • 5 min 2 sec waiting;
  • 4 hr 14 min build duration;
  • 4 hr 19 min total from scheduled to completion.
Revision: 5dbe02addca5d968ff6758a4bd9b9953b670e570
Resume build
SRJobBuild #DurationConsole
main
isabelle-repo-makeallbuild #828( 1 hr 13 min )Console Output
isabelle-repo-afpbuild #828( 1 hr 23 min )Console Output