From 570dca8064efe496c0e8c32ce71e66386bd4e0eb Mon Sep 17 00:00:00 2001 From: dreis2211 Date: Sun, 8 Mar 2020 10:26:03 +0100 Subject: [PATCH] Upgrade CI to Docker 19.03.7 See gh-20420 --- 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 c6c2d238cc..bd91949680 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.5.tgz | tar zx +curl -L https://download.docker.com/linux/static/stable/x86_64/docker-19.03.7.tgz | tar zx mv /docker/* /bin/ chmod +x /bin/docker*