circleci coverity: actually do git checkout

diff --git a/.circleci/config.yml b/.circleci/config.yml
index 4e952465efcb79b1b25ccb6eaf60255ba539241a..9073580cf7a2d7b3052faf0707dd54dbd1e0f7d0 100644 (file)
--- a/.circleci/config.yml
+++ b/.circleci/config.yml
@@ -993,7 +993,7 @@ jobs:
     steps:
       - install-auth-dev-deps
       - install-coverity-tools
-      - get-workspace
+      - checkout-shallow
       - run:
           name: autoconf
           command: BUILDER_VERSION=0.0.0-git1 autoreconf -vfi
@@ -1063,7 +1063,7 @@ jobs:
             ragel \
             virtualenv
       - install-coverity-tools
-      - get-workspace
+      - checkout-shallow
       - run:
           name: autoconf
           command: BUILDER_VERSION=0.0.0-git1 autoreconf -vfi
@@ -1135,7 +1135,7 @@ jobs:
             ragel \
             virtualenv
       - install-coverity-tools
-      - get-workspace
+      - checkout-shallow
       - run:
           name: autoconf
           command: BUILDER_VERSION=0.0.0-git1 autoreconf -vfi