Merge branch 'preRelease09' of https://github.com/coq-community/hydra…

…-battles into preRelease09
coq-community · May 19, 2022 · 030ef2f · 030ef2f
2 parents 08a39ef + 6777770
commit 030ef2f
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 3 deletions.
diff --git a/.github/workflows/docker-action.yml b/.github/workflows/docker-action.yml
@@ -15,7 +15,7 @@ jobs:
     strategy:
       matrix:
         image:
-          - 'mathcomp/mathcomp-dev:coq-dev'
+          - 'coqorg/coq:dev-ocaml-4.13.1-flambda'
           - 'mathcomp/mathcomp:1.14.0-coq-8.15'
           - 'mathcomp/mathcomp:1.13.0-coq-8.14'
           - 'mathcomp/mathcomp:1.13.0-coq-8.13'

diff --git a/meta.yml b/meta.yml
@@ -107,8 +107,7 @@ supported_coq_versions:
   opam: '{(>= "8.13" & < "8.16~") | (= "dev")}'
 
 tested_coq_opam_versions:
-- version: 'coq-dev'
-  repo: 'mathcomp/mathcomp-dev'
+- version: 'dev-ocaml-4.13.1-flambda'
 - version: '1.14.0-coq-8.15'
   repo: 'mathcomp/mathcomp'
 - version: '1.13.0-coq-8.14'