| 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
|