From b205944bd95a65efe5e854fb831048d47e5ea10f Mon Sep 17 00:00:00 2001 From: Francisco Massa Date: Tue, 15 Oct 2019 15:22:09 +0200 Subject: [PATCH] Fix CUDA CI --- .circleci/config.yml | 2 +- .circleci/config.yml.in | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/.circleci/config.yml b/.circleci/config.yml index e0267ce750d..33de2c78ef1 100644 --- a/.circleci/config.yml +++ b/.circleci/config.yml @@ -131,7 +131,7 @@ jobs: sudo apt-get update export DOCKER_VERSION="5:19.03.2~3-0~ubuntu-xenial" - sudo apt-get install docker-ce=${DOCKER_VERSION} docker-ce-cli=${DOCKER_VERSION} containerd.io + sudo apt-get install docker-ce=${DOCKER_VERSION} docker-ce-cli=${DOCKER_VERSION} containerd.io=1.2.6-3 # Add the package repositories distribution=$(. /etc/os-release;echo $ID$VERSION_ID) diff --git a/.circleci/config.yml.in b/.circleci/config.yml.in index 91e0e228b5b..46cacef60d4 100644 --- a/.circleci/config.yml.in +++ b/.circleci/config.yml.in @@ -131,7 +131,7 @@ jobs: sudo apt-get update export DOCKER_VERSION="5:19.03.2~3-0~ubuntu-xenial" - sudo apt-get install docker-ce=${DOCKER_VERSION} docker-ce-cli=${DOCKER_VERSION} containerd.io + sudo apt-get install docker-ce=${DOCKER_VERSION} docker-ce-cli=${DOCKER_VERSION} containerd.io=1.2.6-3 # Add the package repositories distribution=$(. /etc/os-release;echo $ID$VERSION_ID)