Skip to content
Started 6 yr 2 mo ago
Took 49 min on built-in
Success

#1614 (May 1, 2018, 4:52:03 PM)

Changes
  1. avoid output showing up in kill ring (via TextArea.setText, JEditBuffer.remove, UndoManager.contentRemoved), e.g. relevant for action "paste-deleted"; (detail / hgweb)

Started by an SCM change

This run spent:

  • 5 min 1 sec waiting;
  • 49 min build duration;
  • 54 min total from scheduled to completion.
Revision: 3931ed905e932d387d20cef14c90df643f8eecca
SRJobBuild #DurationConsole
main
isabelle-repo-makeallbuild #1614( 49 min )Console Output
isabelle-repo-afpbuild #1614( 3 min 24 sec )Console Output