author | wenzelm |
Wed, 27 Jun 2012 17:36:46 +0200 | |
changeset 48160 | ac561771abdb |
parent 48148 | 84395a03abbb |
child 49694 | bdec6330acc4 |
permissions | -rw-r--r-- |
48148 | 1 |
MAILTO=isatest@mailbroy.informatik.tu-muenchen.de |
2 |
||
3 |
28 06 * * 0-5 export FLYSPECK_SKIP_PROOFS=true && $HOME/afp/devel/admin/regression - |
|
4 |
28 06 * * 6 $HOME/afp/devel/admin/regression - |
|
5 |
# 17 11 * * 6 $HOME/afp/devel/admin/regression -f - |
|
6 |
# 32 11 * * 0 $HOME/afp/release/admin/regression Isabelle2011-1 |
|
7 |