From 1b23d97b20d2fc6e07d865ac260ee083193a6b81 Mon Sep 17 00:00:00 2001
From: Nat Karmios <nat@karmios.com>
Date: Sat, 29 Jun 2024 13:12:03 +0100
Subject: [PATCH] Fix docker CI??

---
 .github/workflows/ci.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index b8eabf15..0078815f 100644
--- 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: