diff --git a/.github/workflows/docker.yml b/.github/workflows/docker.yml
index ba2be1ea1..c8d0e1008 100644
--- a/.github/workflows/docker.yml
+++ b/.github/workflows/docker.yml
@@ -30,7 +30,10 @@ jobs:
       - name: Checkout code
         uses: actions/checkout@v4
 
-      - run: opam install . --yes --deps-only --with-test --with-doc
+      - run: |
+          opam install . --depext-only --with-test --with-doc
+          opam install . --deps-only --with-test --with-doc
+
 
       - name: List installed packages
         run: opam list