src/Pure/Admin/isabelle_cronjob.scala
Sun, 04 Dec 2016 18:53:22 +0100 wenzelm back to isabelle-dev repository;
Sun, 13 Nov 2016 21:37:30 +0100 wenzelm more cronjob tasks, using Poly/ML repository version from 13-Nov-2016;
Thu, 10 Nov 2016 21:54:58 +0100 wenzelm clarified File.move: target directory like File.copy;
Thu, 10 Nov 2016 12:14:03 +0100 wenzelm more logging, to see better when files written;
Thu, 10 Nov 2016 10:41:41 +0100 wenzelm proper cleanup;
Thu, 10 Nov 2016 10:35:34 +0100 wenzelm uniform order for options and args;
Wed, 09 Nov 2016 22:23:36 +0100 wenzelm proper option for "build", not "build_history" (cf. 5ca4ac099e94);
Sun, 06 Nov 2016 22:51:40 +0100 wenzelm back to more elementary result (see 5f49765a25ec): avoid concurrent use of ssh channel;
Tue, 01 Nov 2016 15:00:27 +0100 wenzelm proper remote repository source;
Wed, 26 Oct 2016 16:15:37 +0200 wenzelm more informative error (see 6e9c22c494c5);
Wed, 26 Oct 2016 16:05:41 +0200 wenzelm tuned signature -- more friendly for experimentation;
Wed, 26 Oct 2016 14:52:41 +0200 wenzelm just one task to identify Isabelle + AFP repository snapshots and build release;
Tue, 25 Oct 2016 19:44:20 +0200 wenzelm use other remote_mac: macbroy30 is down;
Tue, 25 Oct 2016 14:06:43 +0200 wenzelm more informative error (stderr);
Sat, 22 Oct 2016 21:21:14 +0200 wenzelm more tasks;
Sat, 22 Oct 2016 21:10:02 +0200 wenzelm remote_builds has PAR-SEQ semantics of old isatest-makedist;
Sat, 22 Oct 2016 19:57:56 +0200 wenzelm clarified push/pull chain: current ISABELLE_HOME may server as source for changes that are not published on isabelle_repos_source yet (e.g. isabelle-release branch);
Sat, 22 Oct 2016 17:27:27 +0200 wenzelm process results immediately;
Fri, 21 Oct 2016 20:49:40 +0200 wenzelm clarified default args;
Fri, 21 Oct 2016 11:45:35 +0200 wenzelm less ambitious test;
Thu, 20 Oct 2016 23:42:12 +0200 wenzelm test for Windows/Cygwin;
Tue, 18 Oct 2016 16:03:30 +0200 wenzelm clarified modules;
Tue, 18 Oct 2016 10:11:22 +0200 wenzelm avoid spamming log file;
Tue, 18 Oct 2016 10:05:38 +0200 wenzelm shared_home is default for classic isatest home setup;
Mon, 17 Oct 2016 17:58:30 +0200 wenzelm improved platform coverage: macbroy30, macbroy31;
Sun, 16 Oct 2016 18:13:04 +0200 wenzelm tuned;
Sun, 16 Oct 2016 17:50:40 +0200 wenzelm tuned signature;
Sun, 16 Oct 2016 13:27:01 +0200 wenzelm clarified setup_repository: more uniform pull vs. clone, without update;
Sun, 16 Oct 2016 13:11:47 +0200 wenzelm proper setup of fresh repository;
Sat, 15 Oct 2016 23:07:47 +0200 wenzelm tuned;
Sat, 15 Oct 2016 22:45:27 +0200 wenzelm discontinued somewhat pointless cronjob.options -- compile-time constants are sufficient;
Sat, 15 Oct 2016 22:24:04 +0200 wenzelm timeout as in former isatest-makeall;
Sat, 15 Oct 2016 21:08:04 +0200 wenzelm clarified hg.id operation, with explicit tip as default;
Sat, 15 Oct 2016 21:02:39 +0200 wenzelm added remote_build_history tasks: parallel on several remote hosts;
Sat, 15 Oct 2016 11:38:03 +0200 wenzelm prefer Isabelle standard Path;
Sat, 15 Oct 2016 11:26:31 +0200 wenzelm clarified logs;
Sat, 15 Oct 2016 11:18:46 +0200 wenzelm publish directly on webspace;
Fri, 14 Oct 2016 21:35:02 +0200 wenzelm cronjob: build release from repository snapshot;
Thu, 13 Oct 2016 21:44:42 +0200 wenzelm clarified;
Thu, 13 Oct 2016 21:32:26 +0200 wenzelm tuned;
Thu, 13 Oct 2016 21:23:49 +0200 wenzelm tuned message;
Thu, 13 Oct 2016 17:34:39 +0200 wenzelm tuned;
Thu, 13 Oct 2016 17:22:32 +0200 wenzelm integrity test of build_history vs. build_history_base;
Thu, 13 Oct 2016 16:14:41 +0200 wenzelm clarified log_subdir vs. log_filename;
Thu, 13 Oct 2016 15:44:24 +0200 wenzelm tuned;
Thu, 13 Oct 2016 12:04:48 +0200 wenzelm allow to exclude named tasks;
Thu, 13 Oct 2016 11:54:06 +0200 wenzelm support for separate sub-system options, independent of main Isabelle options;
Thu, 13 Oct 2016 11:22:27 +0200 wenzelm tuned;
Wed, 12 Oct 2016 21:53:30 +0200 wenzelm tuned signature;
Wed, 12 Oct 2016 21:50:16 +0200 wenzelm tuned;
Wed, 12 Oct 2016 21:35:36 +0200 wenzelm clarified task logging via log service;
Wed, 12 Oct 2016 19:03:35 +0200 wenzelm more explicit management of tasks;
Wed, 12 Oct 2016 11:31:08 +0200 wenzelm simplified: no internal state for Mercurial;
Tue, 11 Oct 2016 22:30:48 +0200 wenzelm tuned output;
Tue, 11 Oct 2016 22:24:47 +0200 wenzelm tuned message -- more parsable;
Tue, 11 Oct 2016 22:24:14 +0200 wenzelm tuned signature;
Tue, 11 Oct 2016 22:14:26 +0200 wenzelm identify managed repository clones;
Tue, 11 Oct 2016 21:48:56 +0200 wenzelm some timing and logging, similar to old isatest.log;
Tue, 11 Oct 2016 20:20:32 +0200 wenzelm basic setup for Isabelle cronjob;
less more (0) tip