@@ -25,6 +25,10 @@ env:
25 - RUN_INTEGRATION_TESTS=1 GHCVER=7.10 STACK_ARGS=""
25 - RUN_INTEGRATION_TESTS=1 GHCVER=7.10 STACK_ARGS=""
26 - RUN_INTEGRATION_TESTS=1 GHCVER=8.0 STACK_ARGS=""
26 - RUN_INTEGRATION_TESTS=1 GHCVER=8.0 STACK_ARGS=""
27 - RUN_INTEGRATION_TESTS=1 GHCVER=8.0.2 STACK_ARGS=""
27 - 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"
@@ -36,7 +40,7 @@ before_install:
36 - sudo sh -c 'echo "deb https://apt.dockerproject.org/repo ubuntu-trusty main" > /etc/apt/sources.list.d/docker.list'
40 - sudo sh -c 'echo "deb https://apt.dockerproject.org/repo ubuntu-trusty main" > /etc/apt/sources.list.d/docker.list'
37 - sudo apt-key adv --keyserver hkp://p80.pool.sks-keyservers.net:80 --recv-keys 58118E89F3A912897C070ADBF76221572C52609D
41 - sudo apt-key adv --keyserver hkp://p80.pool.sks-keyservers.net:80 --recv-keys 58118E89F3A912897C070ADBF76221572C52609D
38 - sudo apt-get update
42 - 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
42 - mkdir -p "$HOME"/.local/bin
46 - mkdir -p "$HOME"/.local/bin