diff --git a/.github/workflows/docker-action.yml b/.github/workflows/docker-action.yml
index c0c1ea85..a6377348 100644
--- a/.github/workflows/docker-action.yml
+++ b/.github/workflows/docker-action.yml
@@ -36,7 +36,7 @@ jobs:
           after_script: |
             startGroup "Test dependants"
               PINS=$(opam list -s --pinned --columns=package | xargs | tr ' ' ,)
-              PACKAGES=`opam list -s --depends-on coq-itree --coinstallable-with $PINS`
+              PACKAGES="coq-ctree coq-itree-extra coq-itree-io "
               for PACKAGE in $PACKAGES
               do DEPS_FAILED=false
                  opam install -y --deps-only $PACKAGE || DEPS_FAILED=true
diff --git a/meta.yml b/meta.yml
index 0b81fee9..1794ce05 100644
--- a/meta.yml
+++ b/meta.yml
@@ -2,7 +2,7 @@ fullname: Interaction Trees
 shortname: itree
 organization: DeepSpec
 action: true
-ci_test_dependants: true
+ci_test_dependants: ['coq-ctree', 'coq-itree-extra', 'coq-itree-io']
 dune: true
 tested_coq_opam_versions:
 - version: '8.14'