@@ -16,9 +16,8 @@ services:
1616 - docker
1717
1818env:
19− - STACK_ARGS=""
20− - GHCVER=7.10
21− - GHCVER=8.0
19+ - GHCVER=7.10 STACK_ARGS=""
20+ - GHCVER=8.0 STACK_ARGS=""
2221
2322addons:
2423 apt:
@@ -31,6 +30,7 @@ before_install:
3130 - sudo apt-key adv --keyserver hkp://p80.pool.sks-keyservers.net:80 --recv-keys 58118E89F3A912897C070ADBF76221572C52609D
3231 - sudo apt-get update
3332 - sudo apt-get -qqy -o Dpkg::Options::="--force-confdef" -o Dpkg::Options::="--force-confold" install docker-engine=1.12.3-0~trusty
33+
3434install:
3535 - mkdir -p "$HOME"/.local/bin
3636 - export PATH=$HOME/.local/bin:$PATH