Jens Petersen 2ce2fa559c build.sh: run cron.sh after successful lts build		2016-09-08 19:19:21 +09:00
..
.gitignore	Modifications for automated builds on new server	2016-08-03 13:38:23 +00:00
build.sh	build.sh: run cron.sh after successful lts build	2016-09-08 19:19:21 +09:00
check-cabal.sh	Initial check-cabal.sh	2016-04-24 16:23:25 +00:00
cron.sh	Use tee instead of >>	2016-08-07 07:42:57 +00:00
run-nightly.sh	Avoid verbose output	2016-08-12 07:00:18 +03:00