| Tue, 21 Jul 2015 14:07:06 +0200 |
wenzelm |
avoid lxbroy2, lxbroy3, lxbroy4, which are often busy with other processes;
|
file |
diff |
annotate
|
| Thu, 25 Sep 2014 12:27:34 +0200 |
traytel |
subscribe for isatest
|
file |
diff |
annotate
|
| Wed, 27 Jun 2012 17:33:49 +0200 |
wenzelm |
moved crontab to lxbroy2, one of the newer server machines;
|
file |
diff |
annotate
|
| Tue, 26 Jun 2012 15:55:02 +0200 |
wenzelm |
use macbroy27 instead of macbroy28, which is broken for several weeks already;
|
file |
diff |
annotate
|
| Mon, 23 Apr 2012 22:26:22 +0200 |
wenzelm |
moved to ~isatest/.bashrc to accomodate AFP;
|
file |
diff |
annotate
|
| Tue, 03 Apr 2012 16:45:44 +0100 |
sultana |
added me to isatest email list
|
file |
diff |
annotate
|
| Fri, 30 Mar 2012 13:12:02 +0200 |
wenzelm |
more robust ISABELLE_JDK_HOME settings, based on exisiting JAVA_HOME provided by isatest shell environment (which depends a lot on the host);
|
file |
diff |
annotate
|
| Fri, 30 Mar 2012 11:48:24 +0200 |
wenzelm |
more explicit isatest environment settings (from private .bashrc);
|
file |
diff |
annotate
|
| Sat, 24 Mar 2012 12:22:29 +0100 |
wenzelm |
more isatest subscribers;
|
file |
diff |
annotate
|
| Sat, 17 Dec 2011 12:51:30 +0100 |
wenzelm |
enforce short hostname on all platforms (especially macbroy2);
|
file |
diff |
annotate
|
| Sun, 23 Oct 2011 17:12:14 +1100 |
kleing |
removed Norbert's email from isatest (bounces)
|
file |
diff |
annotate
|
| Fri, 28 Jan 2011 11:26:08 +1100 |
kleing |
removed Florian's email from isatest (bounces)
|
file |
diff |
annotate
|
| Mon, 09 Aug 2010 11:38:32 +0200 |
haftmann |
added Lars Noschinski to isatest report
|
file |
diff |
annotate
|
| Wed, 14 Jul 2010 19:10:23 +0100 |
kleing |
use different log server (macbroy23 down)
|
file |
diff |
annotate
|
| Fri, 06 Nov 2009 12:13:45 +0100 |
krauss |
added boehmes and hoelzl to isatest mailings
|
file |
diff |
annotate
|
| Wed, 04 Nov 2009 09:43:25 +0100 |
krauss |
added bulwahn to isatest mailings
|
file |
diff |
annotate
|
| Fri, 12 Jun 2009 20:26:34 +0200 |
wenzelm |
eliminated cvs ids;
|
file |
diff |
annotate
|
| Sun, 31 May 2009 14:20:54 +0200 |
wenzelm |
uniform treatment of shellscript mode;
|
file |
diff |
annotate
|
| Mon, 16 Feb 2009 10:11:20 +0100 |
blanchet |
Added myself to testing list.
|
file |
diff |
annotate
|
| Sat, 11 Oct 2008 03:54:34 +0200 |
kleing |
change DISTPREFIX to not use yet another filesystem
|
file |
diff |
annotate
|
| Thu, 09 Oct 2008 09:18:32 +0200 |
kleing |
do logging to MASTERLOG centrally (avoid multiple writers over NFS as
|
file |
diff |
annotate
|
| Sun, 30 Sep 2007 16:53:08 +0200 |
isatest |
switch notification email back on
|
file |
diff |
annotate
|
| Sun, 30 Sep 2007 16:51:46 +0200 |
isatest |
fix shell quoting confusion
|
file |
diff |
annotate
|
| Tue, 22 May 2007 13:40:37 +0200 |
krauss |
regression tests: send failure reports to krauss@in.tum.de, too
|
file |
diff |
annotate
|
| Mon, 05 Mar 2007 22:12:20 +0100 |
kleing |
moved all isatest/cron job related files to own directory
|
file |
diff |
annotate
|