CircleCI docker

2020-10-01 12:23:34 +02:00 · 2020-10-01 12:23:34 +02:00 · bbe47904b0
commit bbe47904b0
parent 19e15743e4
1 changed files with 2 additions and 1 deletions
--- a/.circleci/config.yml
+++ b/.circleci/config.yml
@ -308,7 +308,8 @@ jobs:
          command: |
            git submodule init
            git submodule update
-      - setup_remote_docker
+      - setup_remote_docker:
+          version: 19.03.12
      - run:
          name: Build Docker image
          command: .circleci/script/docker