changeset 48148 | 84395a03abbb |
child 49694 | bdec6330acc4 |
48147:a29f3f44e198 | 48148:84395a03abbb |
---|---|
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 |