@@ -1,11 +1,11 @@
1sudo: required
1sudo: required
2−dist: trusty
2+dist: bionic
4# Only build master and release tags
4# Only build master and release tags
8− - /^v\d+\.\d+(\.\d+)?(-\S*)?$/
8+# - /^v\d+\.\d+(\.\d+)?(-\S*)?$/
10# Choose a lightweight base image; we provide our own build tools.
10# Choose a lightweight base image; we provide our own build tools.
@@ -27,37 +27,42 @@ env:
27 - STACK_ARGS=""
27 - STACK_ARGS=""
30− - DOCKER_VERSION="1.12.3-0~trusty" GHCVER=7.10
30+ - DOCKER_VERSION="18.03.1~ce~3-0~ubuntu" GHCVER=7.10
31− - DOCKER_VERSION="1.13.1-0~ubuntu-trusty" GHCVER=7.10
31+ - DOCKER_VERSION="5:18.09.9~3-0~ubuntu-bionic" GHCVER=7.10
32− - DOCKER_VERSION="17.05.0~ce-0~ubuntu-trusty" GHCVER=7.10
32+ - DOCKER_VERSION="5:19.03.6~3-0~ubuntu-bionic" GHCVER=7.10
34− - DOCKER_VERSION="1.12.3-0~trusty" GHCVER=8.0
34+ - DOCKER_VERSION="18.03.1~ce~3-0~ubuntu" GHCVER=8.0
35− - DOCKER_VERSION="1.13.1-0~ubuntu-trusty" GHCVER=8.0
35+ - DOCKER_VERSION="5:18.09.9~3-0~ubuntu-bionic" GHCVER=8.0
36− - DOCKER_VERSION="17.05.0~ce-0~ubuntu-trusty" GHCVER=8.0
36+ - DOCKER_VERSION="5:19.03.6~3-0~ubuntu-bionic" GHCVER=8.0
38− - DOCKER_VERSION="1.12.3-0~trusty" GHCVER=8.0.2
38+ - DOCKER_VERSION="18.03.1~ce~3-0~ubuntu" GHCVER=8.0.2
39− - DOCKER_VERSION="1.13.1-0~ubuntu-trusty" GHCVER=8.0.2
39+ - DOCKER_VERSION="5:18.09.9~3-0~ubuntu-bionic" GHCVER=8.0.2
40− - DOCKER_VERSION="17.05.0~ce-0~ubuntu-trusty" GHCVER=8.0.2
40+ - DOCKER_VERSION="5:19.03.6~3-0~ubuntu-bionic" GHCVER=8.0.2
42− - DOCKER_VERSION="1.12.3-0~trusty" GHCVER=8.6.4
42+ - DOCKER_VERSION="18.03.1~ce~3-0~ubuntu" GHCVER=8.6.4
43− - DOCKER_VERSION="1.13.1-0~ubuntu-trusty" GHCVER=8.6.4
43+ - DOCKER_VERSION="5:18.09.9~3-0~ubuntu-bionic" GHCVER=8.6.4
44− - DOCKER_VERSION="17.05.0~ce-0~ubuntu-trusty" GHCVER=8.6.4
44+ - DOCKER_VERSION="5:19.03.6~3-0~ubuntu-bionic" GHCVER=8.6.4
46− - DOCKER_VERSION="1.12.3-0~trusty" GHCVER=8.8.2
46+ - DOCKER_VERSION="18.03.1~ce~3-0~ubuntu" GHCVER=8.8.2
47− - DOCKER_VERSION="1.13.1-0~ubuntu-trusty" GHCVER=8.8.2
47+ - DOCKER_VERSION="5:18.09.9~3-0~ubuntu-bionic" GHCVER=8.8.2
48− - DOCKER_VERSION="17.05.0~ce-0~ubuntu-trusty" GHCVER=8.8.2
48+ - DOCKER_VERSION="5:19.03.6~3-0~ubuntu-bionic" GHCVER=8.8.2
53 - libgmp-dev
53 - libgmp-dev
54+ - apt-transport-https
56+ - software-properties-common
55before_install:
59before_install:
56− # Upgrade docker to 1.12.3.0
60+ - curl -fsSL https://download.docker.com/linux/ubuntu/gpg | sudo apt-key add -
57− - sudo sh -c 'echo "deb https://apt.dockerproject.org/repo ubuntu-trusty main" > /etc/apt/sources.list.d/docker.list'
61+ - sudo add-apt-repository "deb [arch=amd64] https://download.docker.com/linux/ubuntu $(lsb_release -cs) stable"
58− - sudo apt-key adv --keyserver hkp://p80.pool.sks-keyservers.net:80 --recv-keys 58118E89F3A912897C070ADBF76221572C52609D
59 - sudo apt-get update
62 - sudo apt-get update
63+ - sudo apt-get install -y --no-install-recommends docker-ce=${DOCKER_VERSION}
60− - sudo apt-get -qqy -o Dpkg::Options::="--force-confdef" -o Dpkg::Options::="--force-confold" install docker-engine=$DOCKER_VERSION
65+# - sudo apt-get -qqy -o Dpkg::Options::="--force-confdef" -o Dpkg::Options::="--force-confold" install docker-engine=$DOCKER_VERSION
63 - mkdir -p "$HOME"/.local/bin
68 - mkdir -p "$HOME"/.local/bin