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

#645 (Dec 22, 2016, 7:55:25 PM)

Changes
  1. export ML functions (towards nonuniform codatatypes) + signature tuning (detail / hgweb)

Started by an SCM change

This run spent:

  • 5 min 3 sec waiting;
  • 1 hr 32 min build duration;
  • 1 hr 37 min total from scheduled to completion.
Revision: a15785625f7c7f303fb91f429e95e750bb851aa4
SRJobBuild #DurationConsole
main
isabelle-repo-makeallbuild #645( 1 hr 6 min )Console Output
isabelle-repo-afpbuild #645( 1 hr 32 min )Console Output