Update remote_docker version in CircleCI config (#1117)

20.10.17 is the current default.
2022-11-21 11:38:45 -08:00
parent 01d3d782c8
commit 8a1268ad8b
1 changed files with 2 additions and 4 deletions
--- 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