src/Pure/Admin/isabelle_cronjob.scala
2017-05-21 wenzelm 2017-05-21 more systematic separation of build_history directories (see also 80c1c1f53e72);
2017-05-19 wenzelm 2017-05-19 separate keep auxiliary directory, to facilitate error diagnosis;
2017-05-16 wenzelm 2017-05-16 proper init_settings for init_component (before generated ML_OPTIONS etc.); fresh start for "Poly/ML 5.7 Linux", suppressing old builds with ML_OPTIONS="-H 500";
2017-05-15 wenzelm 2017-05-15 history parameters like "Linux A", for more comparable results;
2017-05-14 wenzelm 2017-05-14 explore older history;
2017-05-14 wenzelm 2017-05-14 explicit history_base;
2017-05-12 wenzelm 2017-05-12 explore older history;
2017-05-12 wenzelm 2017-05-12 more explicit flag for historic builds;
2017-05-12 wenzelm 2017-05-12 proper result for rev == "";
2017-05-12 wenzelm 2017-05-12 tuned -- more open to experimentation;
2017-05-12 wenzelm 2017-05-12 tuned -- more visible;
2017-05-12 wenzelm 2017-05-12 updated to polyml-5.7 for testing (not yet ready for production use);
2017-05-10 wenzelm 2017-05-10 tuned;
2017-05-10 wenzelm 2017-05-10 actually plot extended profile history;
2017-05-09 wenzelm 2017-05-09 more robust update of generated directory; tuned;
2017-05-09 wenzelm 2017-05-09 enter deeper into history;
2017-05-09 wenzelm 2017-05-09 tuned signature;
2017-05-08 wenzelm 2017-05-08 pick isabelle_version based on build_log database;
2017-05-08 wenzelm 2017-05-08 make index formally within Isabelle/Scala;
2017-05-08 wenzelm 2017-05-08 clarified modules;
2017-05-08 wenzelm 2017-05-08 more precise profiles;
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 present build status; tuned;
2017-05-06 wenzelm 2017-05-06 performance statistics from build log database;
2017-05-05 wenzelm 2017-05-05 tuned;
2017-05-05 wenzelm 2017-05-05 detect database entries;
2017-05-04 wenzelm 2017-05-04 clarified signature: PostgreSQL manages high-volume data, SQLite only sees small snapshots;
2017-05-04 wenzelm 2017-05-04 clarified directory layout;
2017-05-04 wenzelm 2017-05-04 produce build_log_snapshot, based on small prefix into pull_date history;
2017-05-03 wenzelm 2017-05-03 clarified modules;
2017-05-02 wenzelm 2017-05-02 views for full PostgreSQL database;
2017-05-02 wenzelm 2017-05-02 tuned signature;
2017-05-02 wenzelm 2017-05-02 tuned signature;
2017-05-02 wenzelm 2017-05-02 suppress build_log_snapshot: too bulky;
2017-05-01 wenzelm 2017-05-01 more Jenkins logs for 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 create full view on build_log data, but avoid bombing sqlitebrowser;
2017-05-01 wenzelm 2017-05-01 slightly more compact file;
2017-05-01 wenzelm 2017-05-01 incremental download of Jenkins log files, which are also added to database;
2017-04-30 wenzelm 2017-04-30 clarified database update: full ml_statistics on server, no ml_statistics on plain file;
2017-04-29 wenzelm 2017-04-29 maintain build_log database;
2017-04-27 wenzelm 2017-04-27 clarified treatment of default port;
2017-02-28 wenzelm 2017-02-28 more tests;
2017-02-17 wenzelm 2017-02-17 removed obsolete test -- coincides with mainline version;
2017-01-16 wenzelm 2017-01-16 tuned signature;
2016-12-10 wenzelm 2016-12-10 updated Poly/ML repository test version (08-Dec-2016);
2016-12-04 wenzelm 2016-12-04 back to isabelle-dev repository;
2016-11-13 wenzelm 2016-11-13 more cronjob tasks, using Poly/ML repository version from 13-Nov-2016;
2016-11-10 wenzelm 2016-11-10 clarified File.move: target directory like File.copy;
2016-11-10 wenzelm 2016-11-10 more logging, to see better when files written;
2016-11-10 wenzelm 2016-11-10 proper cleanup;
2016-11-10 wenzelm 2016-11-10 uniform order for options and args;
2016-11-09 wenzelm 2016-11-09 proper option for "build", not "build_history" (cf. 5ca4ac099e94);
2016-11-06 wenzelm 2016-11-06 back to more elementary result (see 5f49765a25ec): avoid concurrent use of ssh channel;
2016-11-01 wenzelm 2016-11-01 proper remote repository source;
2016-10-26 wenzelm 2016-10-26 more informative error (see 6e9c22c494c5);
2016-10-26 wenzelm 2016-10-26 tuned signature -- more friendly for experimentation;
2016-10-26 wenzelm 2016-10-26 just one task to identify Isabelle + AFP repository snapshots and build release; report AFP changeset id on website;
2016-10-25 wenzelm 2016-10-25 use other remote_mac: macbroy30 is down;