Merge pull request #53 from math-comp/ci

CI
math-comp · Apr 4, 2022 · d288261 · d288261
2 parents 0a47d6c + 7ddb0db
commit d288261
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 10 deletions.
diff --git a/.github/workflows/docker-action.yml b/.github/workflows/docker-action.yml
@@ -25,7 +25,6 @@ jobs:
           - 'mathcomp/mathcomp:1.14.0-coq-8.13'
           - 'mathcomp/mathcomp:1.14.0-coq-8.14'
           - 'mathcomp/mathcomp:1.14.0-coq-8.15'
-          - 'mathcomp/mathcomp:1.14.0-coq-dev'
           - 'mathcomp/mathcomp-dev:coq-8.13'
           - 'mathcomp/mathcomp-dev:coq-8.14'
           - 'mathcomp/mathcomp-dev:coq-8.15'
@@ -37,13 +36,6 @@ jobs:
         with:
           opam_file: 'coq-mathcomp-algebra-tactics.opam'
           custom_image: ${{ matrix.image }}
-          install: |
-            startGroup "Install dependencies"
-              opam pin add -n -y -k path $PACKAGE $WORKDIR
-              opam update -y
-              opam depext -y -u camlp5
-              opam install -y -j 2 $PACKAGE --deps-only
-            endGroup
           after_script: |
             startGroup "Run tests"
               sudo chown -R coq:coq .

diff --git a/meta.yml b/meta.yml
@@ -55,8 +55,6 @@ tested_coq_opam_versions:
   repo: 'mathcomp/mathcomp'
 - version: '1.14.0-coq-8.15'
   repo: 'mathcomp/mathcomp'
-- version: '1.14.0-coq-dev'
-  repo: 'mathcomp/mathcomp'
 - version: 'coq-8.13'
   repo: 'mathcomp/mathcomp-dev'
 - version: 'coq-8.14'