src/Pure/Admin/jenkins.scala
Mon, 01 May 2017 11:24:41 +0200 wenzelm more parallelism;
Mon, 01 May 2017 11:20:32 +0200 wenzelm tuned;
Mon, 01 May 2017 11:12:46 +0200 wenzelm proper log_path check;
Mon, 01 May 2017 11:04:33 +0200 wenzelm ensure canonical order: latest first;
Mon, 01 May 2017 11:00:27 +0200 wenzelm tuned signature;
Mon, 01 May 2017 10:58:54 +0200 wenzelm download Jenkins logs with inlined ml_statistics;
Mon, 01 May 2017 10:55:46 +0200 wenzelm tuned;
Mon, 01 May 2017 10:05:02 +0200 wenzelm clarified signature;
Mon, 01 May 2017 09:52:11 +0200 wenzelm tuned signature;
Mon, 01 May 2017 09:49:22 +0200 wenzelm read ml_statistics from session logs: .db or .gz files;
Mon, 01 May 2017 00:07:43 +0200 wenzelm more informative log_filename;
Sun, 30 Apr 2017 23:41:08 +0200 wenzelm retrieve more than just 100 builds;
Sun, 30 Apr 2017 23:11:51 +0200 wenzelm clarified modules;
less more (0) tip