ci: Use allow-list of dependants

Author: Lysxia

.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

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'