Skip to content
Started 7 yr 6 mo ago
Took 1 hr 33 min on built-in
Success

#627 (Dec 16, 2016, 11:37:03 PM)

Changes
  1. refactored induction principle generation code, for reuse for nonuniform datatypes (detail / hgweb)

Started by an SCM change

This run spent:

  • 5 min 1 sec waiting;
  • 1 hr 33 min build duration;
  • 1 hr 38 min total from scheduled to completion.
Revision: ce8802dc31450a3781790cf33b14226d91b74a12
SRJobBuild #DurationConsole
main
isabelle-repo-afpbuild #627( 1 hr 33 min )Console Output
isabelle-repo-makeallbuild #627( 1 hr 9 min )Console Output