equal
deleted
inserted
replaced
1 MAILTO=isatest@mailbroy.informatik.tu-muenchen.de |
1 MAILTO=isatest@mailbroy.informatik.tu-muenchen.de |
2 |
2 |
3 28 06 * * 0-5 export FLYSPECK_SKIP_PROOFS=true && $HOME/afp/devel/admin/regression - |
3 28 06 * * 0-5 $HOME/afp/devel/admin/regression - |
4 28 06 * * 6 $HOME/afp/devel/admin/regression - |
4 28 06 * * 6 export ISABELLE_FULL_TEST=true && $HOME/afp/devel/admin/regression - |
5 # 17 11 * * 6 $HOME/afp/devel/admin/regression -f - |
5 # 17 11 * * 6 $HOME/afp/devel/admin/regression -f - |
6 # 32 11 * * 0 $HOME/afp/release/admin/regression Isabelle2011-1 |
6 # 32 11 * * 0 $HOME/afp/release/admin/regression Isabelle2011-1 |
7 |
7 |