Skip to content
Started 6 yr 2 mo ago
Took 4 hr 3 min on built-in
Success

#1617 (May 2, 2018, 3:13:03 PM)

Changes
  1. merged (detail / hgweb)
  2. type class generalisations; some work on infinite products (detail / hgweb)

Started by an SCM change

This run spent:

  • 5 min 1 sec waiting;
  • 4 hr 3 min build duration;
  • 4 hr 8 min total from scheduled to completion.
Revision: d2daeef3ce4722d315a0574f7b0a5844d1e53d4c
SRJobBuild #DurationConsole
main
isabelle-repo-makeallbuild #1617( 49 min )Console Output
isabelle-repo-afpbuild #1617( 1 hr 41 min )Console Output