@@ -25,6 +25,10 @@ env:
2525 - RUN_INTEGRATION_TESTS=1 GHCVER=7.10 STACK_ARGS=""
2626 - RUN_INTEGRATION_TESTS=1 GHCVER=8.0 STACK_ARGS=""
2727 - RUN_INTEGRATION_TESTS=1 GHCVER=8.0.2 STACK_ARGS=""
28+ - DOCKER_VERSION="1.10.3-0~trusty"
29+ - DOCKER_VERSION="1.12.3-0~trusty"
30+ - DOCKER_VERSION="1.13.1-0~ubuntu-trusty"
31+ - DOCKER_VERSION="17.05.0~ce-0~ubuntu-trusty"
2832
2933addons:
3034 apt:
@@ -36,7 +40,7 @@ before_install:
3640 - sudo sh -c 'echo "deb https://apt.dockerproject.org/repo ubuntu-trusty main" > /etc/apt/sources.list.d/docker.list'
3741 - sudo apt-key adv --keyserver hkp://p80.pool.sks-keyservers.net:80 --recv-keys 58118E89F3A912897C070ADBF76221572C52609D
3842 - sudo apt-get update
39− - sudo apt-get -qqy -o Dpkg::Options::="--force-confdef" -o Dpkg::Options::="--force-confold" install docker-engine=1.12.3-0~trusty
43+ - sudo apt-get -qqy -o Dpkg::Options::="--force-confdef" -o Dpkg::Options::="--force-confold" install docker-engine=$DOCKER_VERSION
4044
4145install:
4246 - mkdir -p "$HOME"/.local/bin