Skip to content
Started 6 yr 10 mo ago
Took 53 min on built-in
Success

#1093 (Aug 21, 2017, 8:01:02 PM)

Changes
  1. proper argument type (amending 8d5cb4ea2b7c); (detail / hgweb)
  2. tuned; (detail / hgweb)
  3. updated for release; (detail / hgweb)
  4. tuned; (detail / hgweb)
  5. misc updates for release; (detail / hgweb)
  6. tuned; (detail / hgweb)
  7. tuned; (detail / hgweb)
  8. misc tuning and updates for release; (detail / hgweb)
  9. updated to sqlite-jdbc-3.20.0; (detail / hgweb)
  10. updated to postgresql-42.1.4; (detail / hgweb)
  11. avoid compound edit: it causes confusion about the context of the last line, e.g. final "end"; (detail / hgweb)

Started by an SCM change

This run spent:

  • 5 min 0 sec waiting;
  • 53 min build duration;
  • 58 min total from scheduled to completion.
Revision: 5c0a3f63057dc3bd8802dfbaf3b3aeea55241216
SRJobBuild #DurationConsole
main
isabelle-repo-makeallbuild #1093( 53 min )Console Output
isabelle-repo-afpbuild #1093( 2 min 34 sec )Console Output