Jens Petersen da369bc547 use --jobs 2 for nightly and --jobs 1 for lts ... lts (and/or ghc-8.2) seems more resource hungry		2018-05-21 11:40:59 +09:00
..
.gitignore	Modifications for automated builds on new server	2016-08-03 13:38:23 +00:00
build.sh	use --jobs 2 for nightly and --jobs 1 for lts	2018-05-21 11:40:59 +09:00
check-cabal.sh	Initial check-cabal.sh	2016-04-24 16:23:25 +00:00
cron.sh	cron.sh: log date and drop the tail echo	2017-01-06 17:12:04 +09:00
run-nightly.sh	run-nightly.sh: blank line between runs	2016-12-09 09:25:20 +09:00