From 251e5c699fee3b44dda7de0c4837ffdb154fa75e Mon Sep 17 00:00:00 2001
From: Manuel Kaufmann <humitos@gmail.com>
Date: Tue, 11 Jun 2024 19:33:13 +0200
Subject: [PATCH] CircleCI: update `setup_remove_docker`

The image we were using is decprecated:
https://discuss.circleci.com/t/remote-docker-image-deprecations-and-eol-for-2024/50176
---
 .circleci/config.yml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/.circleci/config.yml b/.circleci/config.yml
index 25134da..7283957 100644
--- a/.circleci/config.yml
+++ b/.circleci/config.yml
@@ -11,7 +11,7 @@ jobs:
     steps:
       - checkout
       - setup_remote_docker:
-          version: 20.10.14
+          version: default
       - run:
           name: Download "compile_version_upload_s3.sh" script
           command: |
@@ -85,7 +85,7 @@ jobs:
     steps:
       - checkout
       - setup_remote_docker:
-          version: 20.10.14
+          version: default
           docker_layer_caching: true
       - run:
           name: Setup