Fix docker CI??

GillianPlatform · Jun 29, 2024 · 1b23d97 · 1b23d97
1 parent 1a577db
commit 1b23d97
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -290,7 +290,7 @@ jobs:
         run: |
           rm -rf _opam
           docker run --name deps ${{ env.DOCKER_TEST_TAG }} bash -c "opam clean"
-          docker cp deps:/home/opam/app/_opam ./
+          docker cp deps:/home/opam/app/Gillian/_opam ./
           docker rm deps
 
   deploy-docs: