fix remove useless step

Moonsong-Labs · Feb 16, 2024 · 95d356c · 95d356c
1 parent f6f6e6b
commit 95d356c
Showing 1 changed file with 0 additions and 3 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -62,9 +62,6 @@ jobs:
           bash -x scripts/install-stone.sh --install-dir ./dependencies/stone
           echo "$(pwd)/dependencies/stone" >> $GITHUB_PATH
 
-      - name: Download Docker cache image (if available)
-        run: docker pull ${STONE_PROVER_DOCKER_CACHE} || true
-
       - name: Build
         run: cargo build --verbose