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
build.sh
check-cabal.sh
cron.sh
run-nightly.sh