src/Pure/Admin/jenkins.scala
2 months ago wenzelm 2019-03-25 tuned signature;
13 months ago wenzelm 2018-05-18 support Store with options;
19 months ago wenzelm 2017-11-04 superseded by plain_identify;
20 months ago wenzelm 2017-10-18 more thorough treatment of afp_version and afp_pull_date;
2017-05-26 wenzelm 2017-05-26 more selective database access;
2017-05-21 wenzelm 2017-05-21 suppress failed sessions, since Jenkins entries lack ISABELLE_BUILD_OPTIONS with threads (see also 744878d72021);
2017-05-10 wenzelm 2017-05-10 actually plot extended profile history;
2017-05-09 wenzelm 2017-05-09 more Jenkins test results;
2017-05-09 wenzelm 2017-05-09 clarified order of output;
2017-05-08 wenzelm 2017-05-08 suppress "Pure" with its special threads=1 (Jenkins log does not provide threads in ISABELLE_BUILD_OPTIONS);
2017-05-07 wenzelm 2017-05-07 clarified description vs. file name;
2017-05-06 wenzelm 2017-05-06 tuned signature;
2017-05-06 wenzelm 2017-05-06 clarified name;
2017-05-06 wenzelm 2017-05-06 performance statistics from build log database;
2017-05-01 wenzelm 2017-05-01 approximate repository identify job based on isabelle-nightly-slow; more Jenkins changeset patterns found in the wild;
2017-05-01 wenzelm 2017-05-01 more parallelism;
2017-05-01 wenzelm 2017-05-01 tuned;
2017-05-01 wenzelm 2017-05-01 proper log_path check; report progress;
2017-05-01 wenzelm 2017-05-01 ensure canonical order: latest first;
2017-05-01 wenzelm 2017-05-01 tuned signature;
2017-05-01 wenzelm 2017-05-01 download Jenkins logs with inlined ml_statistics;
2017-05-01 wenzelm 2017-05-01 tuned;
2017-05-01 wenzelm 2017-05-01 clarified signature;
2017-05-01 wenzelm 2017-05-01 tuned signature;
2017-05-01 wenzelm 2017-05-01 read ml_statistics from session logs: .db or .gz files;
2017-05-01 wenzelm 2017-05-01 more informative log_filename;
2017-04-30 wenzelm 2017-04-30 retrieve more than just 100 builds;
2017-04-30 wenzelm 2017-04-30 clarified modules;