Skip to content
Started 7 yr 4 mo ago
Took 57 min on built-in
Success

#752 (Feb 9, 2017, 5:07:04 PM)

Changes
  1. tuned; (detail / hgweb)
  2. support for type Boolean; (detail / hgweb)
  3. clarified signature;
    tuned toString; (detail / hgweb)
  4. remote database access via ssh port forwarding; (detail / hgweb)
  5. clarified handling of SQL.Type; (detail / hgweb)
  6. clarified toString; (detail / hgweb)
  7. clarified modules; (detail / hgweb)

Started by an SCM change

This run spent:

  • 5 min 2 sec waiting;
  • 57 min build duration;
  • 1 hr 2 min total from scheduled to completion.
Revision: 14641ca387f8c622d83a285346e316abcbbc4d73
SRJobBuild #DurationConsole
main
isabelle-repo-afpbuild #752( 3 min 8 sec )Console Output
isabelle-repo-makeallbuild #752( 57 min )Console Output