CI: test extra-dev packages

coq-community · Jan 12, 2024 · ae53194 · ae53194
1 parent 889ac54
commit ae53194
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 0 deletions.
diff --git a/.github/workflows/docker-action.yml b/.github/workflows/docker-action.yml
@@ -36,6 +36,11 @@ jobs:
         with:
           opam_file: 'coq-ext-lib.opam'
           custom_image: ${{ matrix.image }}
+          before_install: |
+            startGroup "Setup and print opam config"
+              opam repo -a --set-default add coq-extra-dev https://coq.inria.fr/opam/extra-dev
+              opam config list; opam repo list; opam list
+            endGroup
           after_script: |
             startGroup "Test dependants"
               PINS=$(opam list -s --pinned --columns=package | xargs | tr ' ' ,)

diff --git a/meta.yml b/meta.yml
@@ -6,6 +6,7 @@ organization: coq-community
 community: true
 action: true
 ci_test_dependants: true
+ci_extra_dev: true
 submodule: true
 
 synopsis: A library of Coq definitions, theorems, and tactics