src/Pure/Admin/jenkins.scala
Wed, 10 May 2017 17:24:31 +0200 wenzelm actually plot extended profile history;
Tue, 09 May 2017 13:45:35 +0200 wenzelm more Jenkins test results;
Tue, 09 May 2017 13:42:48 +0200 wenzelm clarified order of output;
Mon, 08 May 2017 10:27:13 +0200 wenzelm suppress "Pure" with its special threads=1 (Jenkins log does not provide threads in ISABELLE_BUILD_OPTIONS);
Sun, 07 May 2017 23:18:23 +0200 wenzelm clarified description vs. file name;
Sat, 06 May 2017 20:51:33 +0200 wenzelm tuned signature;
Sat, 06 May 2017 19:23:33 +0200 wenzelm clarified name;
Sat, 06 May 2017 00:12:46 +0200 wenzelm performance statistics from build log database;
Mon, 01 May 2017 22:45:39 +0200 wenzelm approximate repository identify job based on isabelle-nightly-slow;
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