From e1f743a21b7def869936142495cfb84f882c2266 Mon Sep 17 00:00:00 2001 From: dreis2211 Date: Thu, 13 Feb 2020 10:16:58 +0100 Subject: [PATCH] Upgrade CI to Docker 19.03.5 See gh-20157 --- ci/images/setup.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/ci/images/setup.sh b/ci/images/setup.sh index d888d964fd7..c6c2d238cce 100755 --- a/ci/images/setup.sh +++ b/ci/images/setup.sh @@ -29,7 +29,7 @@ test -f /opt/openjdk/bin/javac ########################################################### cd / -curl -L https://download.docker.com/linux/static/stable/x86_64/docker-19.03.2.tgz | tar zx +curl -L https://download.docker.com/linux/static/stable/x86_64/docker-19.03.5.tgz | tar zx mv /docker/* /bin/ chmod +x /bin/docker*