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