| Wed, 26 Oct 2016 16:05:41 +0200 |
wenzelm |
tuned signature -- more friendly for experimentation;
|
file |
diff |
annotate
|
| Wed, 26 Oct 2016 14:52:41 +0200 |
wenzelm |
just one task to identify Isabelle + AFP repository snapshots and build release;
|
file |
diff |
annotate
|
| Tue, 25 Oct 2016 19:44:20 +0200 |
wenzelm |
use other remote_mac: macbroy30 is down;
|
file |
diff |
annotate
|
| Tue, 25 Oct 2016 14:06:43 +0200 |
wenzelm |
more informative error (stderr);
|
file |
diff |
annotate
|
| Sat, 22 Oct 2016 21:21:14 +0200 |
wenzelm |
more tasks;
|
file |
diff |
annotate
|
| Sat, 22 Oct 2016 21:10:02 +0200 |
wenzelm |
remote_builds has PAR-SEQ semantics of old isatest-makedist;
|
file |
diff |
annotate
|
| 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);
|
file |
diff |
annotate
|
| Sat, 22 Oct 2016 17:27:27 +0200 |
wenzelm |
process results immediately;
|
file |
diff |
annotate
|
| Fri, 21 Oct 2016 20:49:40 +0200 |
wenzelm |
clarified default args;
|
file |
diff |
annotate
|
| Fri, 21 Oct 2016 11:45:35 +0200 |
wenzelm |
less ambitious test;
|
file |
diff |
annotate
|
| Thu, 20 Oct 2016 23:42:12 +0200 |
wenzelm |
test for Windows/Cygwin;
|
file |
diff |
annotate
|
| Tue, 18 Oct 2016 16:03:30 +0200 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| Tue, 18 Oct 2016 10:11:22 +0200 |
wenzelm |
avoid spamming log file;
|
file |
diff |
annotate
|
| Tue, 18 Oct 2016 10:05:38 +0200 |
wenzelm |
shared_home is default for classic isatest home setup;
|
file |
diff |
annotate
|
| Mon, 17 Oct 2016 17:58:30 +0200 |
wenzelm |
improved platform coverage: macbroy30, macbroy31;
|
file |
diff |
annotate
|
| Sun, 16 Oct 2016 18:13:04 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Sun, 16 Oct 2016 17:50:40 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Sun, 16 Oct 2016 13:27:01 +0200 |
wenzelm |
clarified setup_repository: more uniform pull vs. clone, without update;
|
file |
diff |
annotate
|
| Sun, 16 Oct 2016 13:11:47 +0200 |
wenzelm |
proper setup of fresh repository;
|
file |
diff |
annotate
|
| Sat, 15 Oct 2016 23:07:47 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Sat, 15 Oct 2016 22:45:27 +0200 |
wenzelm |
discontinued somewhat pointless cronjob.options -- compile-time constants are sufficient;
|
file |
diff |
annotate
|
| Sat, 15 Oct 2016 22:24:04 +0200 |
wenzelm |
timeout as in former isatest-makeall;
|
file |
diff |
annotate
|
| Sat, 15 Oct 2016 21:08:04 +0200 |
wenzelm |
clarified hg.id operation, with explicit tip as default;
|
file |
diff |
annotate
|
| Sat, 15 Oct 2016 21:02:39 +0200 |
wenzelm |
added remote_build_history tasks: parallel on several remote hosts;
|
file |
diff |
annotate
|
| Sat, 15 Oct 2016 11:38:03 +0200 |
wenzelm |
prefer Isabelle standard Path;
|
file |
diff |
annotate
|
| Sat, 15 Oct 2016 11:26:31 +0200 |
wenzelm |
clarified logs;
|
file |
diff |
annotate
|
| Sat, 15 Oct 2016 11:18:46 +0200 |
wenzelm |
publish directly on webspace;
|
file |
diff |
annotate
|
| Fri, 14 Oct 2016 21:35:02 +0200 |
wenzelm |
cronjob: build release from repository snapshot;
|
file |
diff |
annotate
|
| Thu, 13 Oct 2016 21:44:42 +0200 |
wenzelm |
clarified;
|
file |
diff |
annotate
|
| Thu, 13 Oct 2016 21:32:26 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Thu, 13 Oct 2016 21:23:49 +0200 |
wenzelm |
tuned message;
|
file |
diff |
annotate
|
| Thu, 13 Oct 2016 17:34:39 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Thu, 13 Oct 2016 17:22:32 +0200 |
wenzelm |
integrity test of build_history vs. build_history_base;
|
file |
diff |
annotate
|
| Thu, 13 Oct 2016 16:14:41 +0200 |
wenzelm |
clarified log_subdir vs. log_filename;
|
file |
diff |
annotate
|
| Thu, 13 Oct 2016 15:44:24 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Thu, 13 Oct 2016 12:04:48 +0200 |
wenzelm |
allow to exclude named tasks;
|
file |
diff |
annotate
|
| Thu, 13 Oct 2016 11:54:06 +0200 |
wenzelm |
support for separate sub-system options, independent of main Isabelle options;
|
file |
diff |
annotate
|
| Thu, 13 Oct 2016 11:22:27 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Wed, 12 Oct 2016 21:53:30 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Wed, 12 Oct 2016 21:50:16 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Wed, 12 Oct 2016 21:35:36 +0200 |
wenzelm |
clarified task logging via log service;
|
file |
diff |
annotate
|
| Wed, 12 Oct 2016 19:03:35 +0200 |
wenzelm |
more explicit management of tasks;
|
file |
diff |
annotate
|
| Wed, 12 Oct 2016 11:31:08 +0200 |
wenzelm |
simplified: no internal state for Mercurial;
|
file |
diff |
annotate
|
| Tue, 11 Oct 2016 22:30:48 +0200 |
wenzelm |
tuned output;
|
file |
diff |
annotate
|
| Tue, 11 Oct 2016 22:24:47 +0200 |
wenzelm |
tuned message -- more parsable;
|
file |
diff |
annotate
|
| Tue, 11 Oct 2016 22:24:14 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Tue, 11 Oct 2016 22:14:26 +0200 |
wenzelm |
identify managed repository clones;
|
file |
diff |
annotate
|
| Tue, 11 Oct 2016 21:48:56 +0200 |
wenzelm |
some timing and logging, similar to old isatest.log;
|
file |
diff |
annotate
|
| Tue, 11 Oct 2016 20:20:32 +0200 |
wenzelm |
basic setup for Isabelle cronjob;
|
file |
diff |
annotate
|