From 8a1268ad8b503d350f2e502272a15ed7b66ec81e Mon Sep 17 00:00:00 2001 From: Derek Schuff Date: Mon, 21 Nov 2022 11:38:45 -0800 Subject: [PATCH] Update remote_docker version in CircleCI config (#1117) 20.10.17 is the current default. --- .circleci/config.yml | 6 ++---- 1 file changed, 2 insertions(+), 4 deletions(-) diff --git a/.circleci/config.yml b/.circleci/config.yml index 6d6b89d..a5d7e20 100644 --- a/.circleci/config.yml +++ b/.circleci/config.yml @@ -140,8 +140,7 @@ jobs: - run: name: install docker command: apt-get update -q && apt-get install -q -y docker.io - - setup_remote_docker: - version: 19.03.13 + - setup_remote_docker # Build and test the tip-of-tree build of EMSDK - run: name: build @@ -157,8 +156,7 @@ jobs: - run: name: install docker command: apt-get update -q && apt-get install -q -y docker.io - - setup_remote_docker: - version: 19.03.13 + - setup_remote_docker - run: name: build command: make -C ./docker version=${CIRCLE_TAG} build