Admin/isatest-check
Thu, 01 Dec 2005 22:43:15 +0100 kleing typo
Fri, 25 Nov 2005 11:34:37 +0100 kleing send more information with test-takes-too-long message
Fri, 14 Oct 2005 13:04:38 +0200 isatest longer time out for test (kleing)
Fri, 24 Jun 2005 04:18:48 +0200 kleing shortened time out by 3h (gives up at 12:00h now).
Tue, 21 Jun 2005 00:45:56 +0200 kleing fix 'give up waiting message' (logs of running processes are not attached)
Sat, 11 Jun 2005 15:42:51 +0200 wenzelm fixed spelling;
Thu, 02 Jun 2005 02:21:44 +0200 kleing reduced timeout, send logs also when test taking too long
Fri, 27 May 2005 01:09:44 +0200 kleing put global isatest settings in one file, sourced by the other scripts
Sun, 08 May 2005 22:18:12 +0200 wenzelm MAILTO: makarius@sketis.net
Sat, 30 Apr 2005 13:09:38 +0200 isatest export DISTPREFIX to devel page Makefile
Fri, 29 Apr 2005 13:12:38 +0200 kleing move isadist to ~/tmp/
Mon, 21 Jun 2004 10:25:57 +0200 kleing Merged in license change from Isabelle2004
Wed, 27 Aug 2003 18:22:34 +0200 skalberg Added skalberg to recepients, changed admin from kleing to berghofe.
Sun, 18 May 2003 16:30:20 +0200 kleing fix typo
Sun, 18 May 2003 16:29:18 +0200 kleing attach log files
Sun, 18 May 2003 15:28:41 +0200 kleing attach log files
Fri, 09 May 2003 14:15:50 +0200 kleing only make development snapshots for successful tests
Fri, 09 May 2003 14:08:04 +0200 kleing fixes
Fri, 09 May 2003 12:08:00 +0200 kleing var/run -> var/running
Fri, 09 May 2003 11:56:16 +0200 kleing typo
Fri, 09 May 2003 11:47:29 +0200 kleing check for error log, send mail if exists
less more (0) tip