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

#790 (Mar 5, 2017, 10:46:04 PM)

Changes
  1. more ambitious timing, to compensate general protocol delays; (detail / hgweb)
  2. decorations for dotted underline: less intrusive;
    tuned; (detail / hgweb)
  3. more generic rendering; (detail / hgweb)
  4. proper reset of published decorations: initial value is Nil, afterwards it is a list of canonical length and order; (detail / hgweb)
  5. always invoke output: pending_output may be present due to other reasons; (detail / hgweb)
  6. tuned signature; (detail / hgweb)
  7. tuned; (detail / hgweb)
  8. simplified; (detail / hgweb)
  9. publish output more thoroughly; (detail / hgweb)
  10. potentially redundant pending_output, for the sake of uniformity and reactivity; (detail / hgweb)
  11. tuned; (detail / hgweb)
  12. tuned; (detail / hgweb)
  13. more robust treatment of pending input/output: these are often correlated;
    no decorations for invisible node; (detail / hgweb)

Started by an SCM change

This run spent:

  • 5 min 1 sec waiting;
  • 56 min build duration;
  • 1 hr 1 min total from scheduled to completion.
Revision: 4d088fe6185ec2c16442a5568951da50c0fbde4e
SRJobBuild #DurationConsole
main
isabelle-repo-afpbuild #790( 6 min 8 sec )Console Output
isabelle-repo-makeallbuild #790( 56 min )Console Output