on master help sign in
Updates travis WIP
040f3faDeni Bertovic
.travis.yml+29−24
@@ -1,11 +1,11 @@
1sudo: required
1sudo: required
2−dist: trusty
2+dist: bionic
3
3
4# Only build master and release tags
4# Only build master and release tags
5−branches:
5+# branches:
6− only:
6+# only:
7− - master
7+# - master
8− - /^v\d+\.\d+(\.\d+)?(-\S*)?$/
8+# - /^v\d+\.\d+(\.\d+)?(-\S*)?$/
9
9
10# Choose a lightweight base image; we provide our own build tools.
10# Choose a lightweight base image; we provide our own build tools.
11language:
11language:
@@ -27,37 +27,42 @@ env:
27 - STACK_ARGS=""
27 - STACK_ARGS=""
28
28
29 matrix:
29 matrix:
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
33
33
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
37
37
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
41
41
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
45
45
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
49
49
50addons:
50addons:
51 apt:
51 apt:
52 packages:
52 packages:
53 - libgmp-dev
53 - libgmp-dev
54+ - apt-transport-https
55+ - ca-certificates
56+ - software-properties-common
57+ - curl
54
58
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}
64+
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
61
66
62install:
67install:
63 - mkdir -p "$HOME"/.local/bin
68 - mkdir -p "$HOME"/.local/bin